|
|
Encoding W : A Logic for Z in 2OBJ
Andrew Martin infobook 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
BibTeX
related pages
|
|
|
|
