Remarks on ?program proving: Jumps and functions by M. Clint and C. A. R. Hoare?
- 1 January 1976
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 6 (3) , 317-318
- https://doi.org/10.1007/bf00288660
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Program proving: Jumps and functionsActa Informatica, 1972