Cook, Stephen A. Soundness and completeness of an axiom system for program verification. (English) Zbl 0374.68009 SIAM J. Comput. 7, 70-90 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 9 ReviewsCited in 125 Documents MSC: 68N01 General topics in the theory of software × Cite Format Result Cite Review PDF Full Text: DOI