Introduction
Methods
The Z Specification Language
ProofPower and Z in HOL
The VDM Specification Language
Foundations
Specifications in SML
up HOME © RBJ V