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