ZUM 95, The Z formal specification notation, Nineth International Conference of Z users,Proceedings 1995
Bowen, Jonathan P
ZUM 95, The Z formal specification notation, Nineth International Conference of Z users,Proceedings 1995 - Berlin Springer 1995 - 569 - Lecture Notes in Computer Science, 967 .
9783540602712
FORMAL METHODS
005.131 BOW/Z
ZUM 95, The Z formal specification notation, Nineth International Conference of Z users,Proceedings 1995 - Berlin Springer 1995 - 569 - Lecture Notes in Computer Science, 967 .
9783540602712
FORMAL METHODS
005.131 BOW/Z