Mechanical Verification of Mutually Recursive Procedures - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Peter V. Homeier, David F. Martin. Mechanical Verification of Mutually Recursive Procedures. In Michael A. McRobbie, John K. Slaney, editors, Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings. Volume 1104 of Lecture Notes in Computer Science, pages 201-215, Springer, 1996.

The following publications are possibly variants of this publication:

Secure mechanical verification of mutually recursive proceduresPeter V. Homeier, David F. Martin. iandc, 187(1):1-19, 2003. [doi]

runs on WebDSL