1st IFM 1999: York, UK

Refine list

showing all ?? records

Invited Talks

Z/Object-Z + CSP + Real Time

Temporal Logic

Z/Object-Z + Behaviour 1

State Charts

Semantic Models and Refinement

Z/Object-Z + Behaviour 2

(Abstract + Action) Systems

The B Method: Behaviour and Retrenchment

a service of  Schloss Dagstuhl - Leibniz Center for Informatics