Options
Title
The Z formal specification notation. Proceedings
Title Supplement
ZUM '98, 11th International Conference of Z Users, Berlin, Germany, September 24 - 26, 1998
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
1998
Series
Lecture Notes in Computer Science; 1493
ISBN
3-540-65070-9