TY  - BOOK
AU  - SHEPPARD, DERI
TI  - AN INTRODUCTION TO FORMAL SPECIFICATION WITH Z AND VDM
SN  - 9780077079079
PY  - 1995///
PB  - McGRAW HILL COMPNIES INC., NEW YORK
KW  - Computer Science & Eng
ER  -