Machine−Assisted Theorem−Proving for Software Engineering
Andrew Martin
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