Encoding : A Logic for Z in 2OBJ
Andrew Martin
Book Title
FME'93: Industrial−Strength Formal Methods
Editor
J. C. P. Woodcock and P. G. Larsen
ISBN
0−387−56662−7 and 3−540−56662−7
Pages
462–481
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
670
Year
1993