8. Z User Workshop 1994: Cambridge, UK

Applications

Education

Object-Orientation I

Semantics

Methods

Concurrency

Object-Orientation II

Appendices

maintained by Schloss Dagstuhl LZI at University of Trier