Red hot offerFormal Specification and Documentation using Z: A Case Study Approach
no description available
nitro.biosci.arizona.edu
The Z Notation: A Reference Manual, Second Edition
This manual provides a detailed guide to the use of the Z no...
spivey.oriel.ox.ac.uk
|
|
