PVS: A prototype veri cation system (0)

by S Owre, J Rushby, N Shankar
Venue:Proc. 11th Int. Conf. on Automated Deduction, volume 607 of Lecture