PVS: A prototype verification system (1992)

by S OWRE, N SHANKAR, J M RUSHBY
Venue:In CADE 11