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

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
@proceedings{DBLP:conf/zum/1995,
  editor    = {Jonathan P. Bowen and
               Michael G. Hinchey},
  title     = {ZUM '95: The Z Formal Specification Notation, 9th International
               Conference of Z Usres, Limerick, Ireland, September 7-9, 1995,
               Proceedings},
  booktitle = {ZUM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {967},
  year      = {1995},
  isbn      = {3-540-60271-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Methods

Applications 1

Proof

Testing

Language

Panel Session

Object-Orientation

Applications 2

Animation

Method Integration

Education Session

Appendices

Copyright © Fri May 16 16:40:30 2008 by Michael Ley (ley@uni-trier.de)