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