Machine-Assisted Theorem-Proving for Software Engineering, Unpublished (1994)

by A Martin
Venue:Technical Monograph PRG-121, ISBN 0-902928-95-3, Oxford University Computing LaboratoryWolfson Building, Parks Road