TY  - BOOK
AU  - Bowen,Jonathan Peter
AU  - Hinchey,Michael G.
AU  - Till,David
ED  - International Conference of Z Users
TI  - ZUM '97: the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings 
SN  - 3540627170
AV  - QA76.73 Z2 I58 1997
PY  - 1997///
CY  - Berlin
PB  - Springer
KW  - Z (Computer program language)
KW  - Congresses
ER  -