TY  - GEN
AU  - Sheppard, Deri.
TI  - (An) introduction to formal specification with Z and VDM
AV  - QA76.73 Z2She.
PY  - 1995///
PB  - McGraw-Hill
KW  - Z (Computer program language)
KW  - Computer software - Development
N1  - 8750
ER  -