Inductive methods for proving properties of programs

• 1 January 1972
• proceedings article
• Published by Association for Computing Machinery (ACM)
• Vol. 7  (14) , 27-50
• https://doi.org/10.1145/800235.807070

Abstract