PVS: Combining Specification, Proof Checking, and Model Checking. (1996)

by S Owre, S Rajan, J Rushby, N Shankar, M Srivas
Venue:In Computer-Aided Verification (CAV). LNCS,