3rd ICFEM 2000: York, England, UK

Refine list

showing all ?? records

Invited Speaker

Development

Structuring

Algebraic Approaches

Invited Speaker

Verification

Formal and Informal Notations

Retrenchment

Invited Speaker

Z: Theory and Practice

Animation

a service of  Schloss Dagstuhl - Leibniz Center for Informatics