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 BibTeX

Theory and Foundations

Standards and Tools


Industrial Applicaton

Training and Education

Selected Z Bibliography


Copyright © Sat May 16 23:48:57 2009 by Michael Ley (ley@uni-trier.de)