PVS: A prototype verification system (1992)

by S Owre, J M Rushby, N Shankar
Venue:In Proc. CADE-11, vol. 607 of LNAI