TY  - BOOK
AU  - Bowen, Jonathan P 
AU  - Hinchey, Michael G
TI  - ZUM 95, The Z formal specification notation, Nineth International Conference of Z users,Proceedings 1995
SN  - 9783540602712
U1  - 005.131 BOW/Z 
PY  - 1995///
CY  - Berlin
PB  - Springer
KW  - FORMAL METHODS
ER  -