S. Owre and J. M. Rushby and N. Shankar "PVS: A Prototype Verification System", from the 11th Conference on Automated Deduction, Deepak Kapur ed., Saratoga, NY, Jun, 1992
(1992)
Languages mentioned
PVS
{1992} Prototype Verification System