dblp.uni-trier.de www.uni-trier.de

5. Z User Workshop 1990: Oxford, UK

J. E. Nicholls (Ed.): Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990. Workshops in Computing Springer 1991, ISBN 3-540-19672-2 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Theory and Foundations

Standards and Tools


Industrial Applicaton

Training and Education

Selected Z Bibliography


Copyright © Tue Mar 16 02:23:06 2010 by Michael Ley (ley@uni-trier.de)