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

6. Z User Workshop 1991: York, UK

J. E. Nicholls (Ed.): Z User Workshop, York, UK, 16-17 December 1991, Proceedings. Workshops in Computing Springer 1992, ISBN 3-540-19780-X CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Theoretical Foundations

Scope of Use

Special Applications

Tools

Structured Methods and Object-Oriented Approaches

Bibliography etc

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