5. Z User Workshop 1990: Oxford, UK

Theory and Foundations

Standards and Tools

Methods

Industrial Applicaton

Training and Education

Selected Z Bibliography

Posters

maintained by Schloss Dagstuhl LZI at University of Trier