Programming by induction
- 29 February 1972
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 1 (3) , 100-107
- https://doi.org/10.1016/0020-0190(72)90007-5
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Program development by stepwise refinementCommunications of the ACM, 1971