A Tutorial on Proof in {Standard Z}
Stephen M. Brien and Andrew P. Martin
Details
| Address |
Wolfson Building, Parks Road, Oxford, OX1 3QD, UK |
| Address |
Wolfson Building, Parks Road, Oxford, OX1 3QD, UK |
| Address |
Wolfson Building, Parks Road, Oxford, OX1 3QD, UK |
| Institution |
Programming Research Group, Oxford University Computing Laboratory |
| ISBN |
0-902928-94-5 |
| Note |
Presented at ZUM'95 |
| Number |
PRG-120 |
| Year |
1995 |
Links
Related pages
|
People |