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

Cached

Download Links

by Andrew Martin
Venue:Technical Monograph PRG-121, ISBN 0-902928-95-3, Oxford University Computing LaboratoryWolfson Building, Parks Road
Citations:5 - 1 self