Proof-Checking, Theorem-Proving, and Program Verification

• 1 January 1984
• other
• Published by American Mathematical Society (AMS) in Contemporary Mathematics
• Vol. 29, 119-132
• https://doi.org/10.1090/conm/029/07

Abstract