3. ICFEM 2000: York, England, UK

3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, 4 - 7 September 2000, York, England, UK, Proceedings. IEEE Computer Society, online publication: http://computer.org/proceedings/icfem/0822/0822toc.htm

Invited Speaker

Development

Structuring

Algebraic Approaches

Invited Speaker

Verification

Formal and Informal Notations

Retrenchment

Invited Speaker

Z: Theory and Practice

Animation