|
|
Relating Z and first-order logic
Andrew Martin infobook title | FM'99 — Formal Methods |
editor | Jeanette M. Wing and Jim Woodcock and Jim Davies |
month | sep |
number | 1708,1709 |
pages | 1266—1280 |
publisher | Springer-Verlag |
series | Lecture Notes in Computer Science |
year | 1999 |
links
BibTeX
related pages
|
|
|
|
