ZUM 98, Z formal specification notation, Eleventh International Conference of Z Users, Proceedings, 1998.

Bowen,Jonathan P

ZUM 98, Z formal specification notation, Eleventh International Conference of Z Users, Proceedings, 1998. - Berlin Springer 1998 - 415 - Lecture Notes in Computer Science,1493 .

9783540650706


FORMAL METHODS

005.131 BOW/Z