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

10. ZUM 1997: Reading, UK

Jonathan P. Bowen, Michael G. Hinchey, David Till (Eds.): ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings. Lecture Notes in Computer Science 1212 Springer 1997, ISBN 3-540-62717-0 BibTeX

Real-Time Systems

Tools

Applications I

Logic

System Development

Reactive Systems

Applications II

Refinement

Appendices

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