ZUM '95: The Z Formal Specification Notation

Author
Jonathan P. Bowen, Michael G. Hinchey
Publisher
Springer
Subject
Computer Science
Year
1995
Vol/Edition
967
ISBN
9783540447825