- Record: found
- Abstract: not found
- Book Chapter: not found
IV Higher Order Workshop, Banff 1990
W: A Logic for 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, JM Spivey, J. M. Spivey … (1989)
- Record: found
- Abstract: not found
- Book: not found
Software Engineering Mathematics : Formal Methods Demystified
- Record: found
- Abstract: not found
- Book: not found
Understanding Z: a specification language and its formal semantics
JM Spivey, J. M. Spivey, J.M. Spivey (1988)