Program development by stepwise refinement
- 1 April 1971
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 14 (4), 221-227
- https://doi.org/10.1145/362575.362577
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Programming by action clustersBIT Numerical Mathematics, 1969
- A constructive approach to the problem of program correctnessBIT Numerical Mathematics, 1968