1. IFM 1999: York, UK

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