PVS: A Prototype Verification System (1992)

by S. Owre, J. M. Rushby, N. Shankar
Venue:CADE