9. ZUM 1995:
Limerick,
Ireland
Jonathan P. Bowen, Michael G. Hinchey (Eds.):
ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings.
Lecture Notes in Computer Science 967 Springer 1995, ISBN 3-540-60271-2 BibTeX
Methods
Applications 1
Proof
Testing
Language
Panel Session
Object-Orientation
Applications 2
Animation
Method Integration
Education Session
Appendices
Copyright © Sat May 16 23:48:57 2009
by Michael Ley (ley@uni-trier.de)