8. Z User Workshop 1994: Cambridge, UK

Applications

Education

Object-Orientation I

Semantics

Methods

Concurrency

Object-Orientation II

Appendices