ZUM 97, The Z formal specification notation, Tenth International Conference of Z Users, Proceedings, 1997.
Bowen, Jonathan P
ZUM 97, The Z formal specification notation, Tenth International Conference of Z Users, Proceedings, 1997. - Berlin Springer 1997 - 433 - Lecture Notes in Computer Science,1212 .
9783540627173
FORMAL METHODS
005.131 BOW/Z
ZUM 97, The Z formal specification notation, Tenth International Conference of Z Users, Proceedings, 1997. - Berlin Springer 1997 - 433 - Lecture Notes in Computer Science,1212 .
9783540627173
FORMAL METHODS
005.131 BOW/Z