Proving programs correct through refinement
- 1 January 1978
- journal article
- research article
- Published by Springer Nature in Acta Informatica
- Vol. 9 (2), 121-132
- https://doi.org/10.1007/bf00289073
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Abstract Data Types and Software ValidationPublished by Defense Technical Information Center (DTIC) ,1976
- Structured Programming with go to StatementsACM Computing Surveys, 1974
- A technique for software module specification with examplesCommunications of the ACM, 1972
- Proof of correctness of data representationsActa Informatica, 1972
- Program development by stepwise refinementCommunications of the ACM, 1971
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967