Encoding : A Logic for Z in 2OBJ
Andrew Martin
Details
| 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 |
Links
ISBN (0-387-56662-7 and 3-540-56662-7)
Related pages
|
People |