Options
Title
The Z formal specification notation. Proceedings
Title Supplement
ZUM '97, 10th International Conference of Z Users, Reading, UK, April 3 - 4, 1997
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
1997
Series
Lecture Notes in Computer Science; 1212
ISBN
3-540-62717-0