- Record: found
- Abstract: not found
- Book Chapter: not found
Formal Methods for Open Object-based Distributed Systems: Volume 2
Exploring The Semantics of UML Type Structures with Z
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references5
- Record: found
- Abstract: not found
- Book: not found
The Z notation: a reference manual
J. M. Spivey, J Spivey, J.M. Spivey … (1992)
- Record: found
- Abstract: not found
- Book: not found
Z User Workshop, Cambridge 1994 : Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994
Jonathan Bowen, J. A. Hall (1994)
- Record: found
- Abstract: not found
- Book: not found
To appear in the Journal of Object-Oriented Programming (JOOP)
RB France (1997)