PVS: A prototype verification system (0)

by S OWRE, J M RUSHBY, N SHANKAR
Venue:in 11th Interna