7. Z User Workshop 1992: London, UK

Language Issues and Reuse

Safety-Critical Systems and Timing

Object-Oriented Systems

Information Systems

Methods, Quality and Animation

Appendices