PVS: A Prototype Veri System (0)

by S Owre, J Rushby, N Shankar
Venue:11th International Conference on Automated Deduction, volume 607 of Lecture Notes in Arti Intelligence