Innovations in the Notation of Standard Z

ZUM ’98: The Z Formal Specification Notation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-49676-2_15 ◽

1998 ◽

pp. 193-213 ◽

Author(s):

Ian Toyn

Download Full-text