A more mechanical approach to program verification
- 1 January 1974
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Proving Theorems about LISP FunctionsJournal of the ACM, 1975
- The correctness of programsJournal of Computer and System Sciences, 1969
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967