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

7. Z User Workshop 1992: London, UK

Jonathan P. Bowen, J. E. Nicholls (Eds.): Z User Workshop, London, UK, 14-15 December 1992, Proceedings. Workshops in Computing Springer 1992, ISBN 3-540-19818-0 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Language Issues and Reuse

Safety-Critical Systems and Timing

Object-Oriented Systems

Information Systems

Methods, Quality and Animation


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