Citation |
Sam Owre, John M. Rushby, Natarajan Shankar, PVS: A Prototype Verification System, pp. 748-752, Automated Deduction — CADE-11, 11th International Conference on Automated Deduction, Deepak Kapur (Ed.), Lecture Notes in Artificial Intelligence, Springer-Verlag, Saratoga Springs, New York, Lecture Notes in Artificial Intelligence, Vol. 607, June 1992, 3-540-55602-8.
|