The correctness of programs

• 1 May 1969
• journal article
• Published by Elsevier in Journal of Computer and System Sciences
• Vol. 3  (2) , 119-127
• https://doi.org/10.1016/s0022-0000(69)80009-7

Abstract

Keywords

• CERTAIN FORMULA
• FIRST-ORDER PREDICATE CALCULUS