5th Z User Workshop 1990: Oxford, UK

Theory and Foundations

Standards and Tools

Methods

Industrial Applicaton

Training and Education

Selected Z Bibliography

Posters

a service of Schloss Dagstuhl - Leibniz Center for Informatics