TY  - BOOK
AU  - Bowen,Jonathan Peter
AU  - Hinchey,Michael Gerard
ED  - International Conference of Z Users
TI  - ZUM '95: the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings 
SN  - 3540602712
AV  - QA76.73 Z2 I58 1995
PY  - 1995///
CY  - Berlin
PB  - Springer-Verlag
KW  - Z (Computer program language)
KW  - Congresses
ER  -