|
|
Machine-Assisted Theorem-Proving for Software Engineering
Andrew Martin infomonth | 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
BibTeX
related pages
|
|
|
|
