TY  - BOOK
AU  - Harry,Andrew
TI  - Formal methods fact file: VDM and Z 
SN  - 0471940062
PY  - 1996///
CY  - Chichester [England]
PB  - John Wiley & Sons
KW  - Computer software
KW  - Development
KW  - Formal methods (Computer science)
N1  - Includes bibliographical references (p. 365-366) and index
ER  -