Machine−Assisted Theorem−Proving for Software Engineering
Andrew Martin
Details
| Month |
Michaelmas |
| Note |
Also available as Technical Monograph PRG−121‚ ISBN 0−902928−95−3‚ Oxford University Computing Laboratory‚ Wolfson Building‚ Parks Road‚ Oxford‚ OX1 3QD‚ UK |
| School |
University of Oxford |
| Year |
1994 |
Links
Related pages
|
People |