- Record: found
- Abstract: not found
- Book Chapter: not found
An Outline Pattern Language for Z: Five Illustrations and Two Tables
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 references7
- Record: found
- Abstract: not found
- Article: not found
Software development: two approaches to animation of Z specifications using prolog
Margaret M. West, Barry Eaglestone (1992)
- Record: found
- Abstract: not found
- Book Chapter: not found
The SAZ project: Integrating SSADM and Z
Fiona A.C. Polack, Mark Whiston, Keith Mander (1993)