A constructive approach to the problem of program correctness
- 1 September 1968
- journal article
- Published by Springer Nature in BIT Numerical Mathematics
- Vol. 8 (3), 174-186
- https://doi.org/10.1007/bf01933419
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967
- Proof of algorithms by general snapshotsBIT Numerical Mathematics, 1966