ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

Jonathan P. Bowen Andreas Fett Michael G. Hinchey ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings ZUM Lecture Notes in Computer Science 1493 Springer 1998 3-540-65070-9 db/conf/zum/zum1998.html