3. ICFEM 2000: York, England, UK

Invited Speaker

Development

Structuring

Algebraic Approaches

Invited Speaker

Verification

Formal and Informal Notations

Retrenchment

Invited Speaker

Z: Theory and Practice

Animation