Proving programs by sets of computations
- 1 January 1975
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Axiomatic Approach to Total Correctness of ProgramsPublished by Defense Technical Information Center (DTIC) ,1973
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955