Soundness and Completeness of an Axiom System for Program Verification
- 1 February 1978
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 7 (1) , 70-90
- https://doi.org/10.1137/0207005
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Procedures and parameters: An axiomatic approachLecture Notes in Mathematics, 1971
- An axiomatic basis for computer programmingCommunications of the ACM, 1969