Relating Z and First−order logic
A. P. Martin
Details
| Journal |
Formal Aspects of Computing |
| Pages |
199–209 |
| Volume |
12 |
| Year |
2000 |
Links
Related pages
|
People |