Relating Z and first−order logic
Andrew Martin
Details
| Book 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
Related pages
|
People |