Corrigendum: Soundness and Completeness of an Axiom System for Program Verification. Cook, S. 10(3):612, 1981.
bibtex   
@article{DBLP:journals/siamcomp/Cook81,
	Author = {S.A. Cook},
	Number = {3},
	Pages = {612},
	Title = {Corrigendum: Soundness and Completeness of an Axiom System for Program Verification},
	Volume = {10},
	Year = {1981}}

Downloads: 0