A Tutorial on Proof in Standard Z
Stephen M. Brien and Andrew P. Martin
Details
| 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 |