PVS: Combining Specification, Proof Checking (1996)

by S Owre, S Rajan, J Rushby, N Shankar, M Srivas
Venue:Proceedings of the 8th International Conference on Computer-Aided Verification (CAV ’96