{"_id":{"_str":"53ecdb0b361ffffd45001e71"},"__v":0,"authorIDs":[],"author_short":["Cook, S."],"bibbaseid":"cook-corrigendumsoundnessandcompletenessofanaxiomsystemforprogramverification-1981","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["S.A."],"propositions":[],"lastnames":["Cook"],"suffixes":[]}],"number":"3","pages":"612","title":"Corrigendum: Soundness and Completeness of an Axiom System for Program Verification","volume":"10","year":"1981","bibtex":"@article{DBLP:journals/siamcomp/Cook81,\n\tAuthor = {S.A. Cook},\n\tNumber = {3},\n\tPages = {612},\n\tTitle = {Corrigendum: Soundness and Completeness of an Axiom System for Program Verification},\n\tVolume = {10},\n\tYear = {1981}}\n\n","author_short":["Cook, S."],"key":"DBLP:journals/siamcomp/Cook81","id":"DBLP:journals/siamcomp/Cook81","bibbaseid":"cook-corrigendumsoundnessandcompletenessofanaxiomsystemforprogramverification-1981","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"article","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2014-08-14T15:51:39.427Z","downloads":0,"keywords":[],"search_terms":["corrigendum","soundness","completeness","axiom","system","program","verification","cook"],"title":"Corrigendum: Soundness and Completeness of an Axiom System for Program Verification","year":1981,"dataSources":["7Z8XEkSJX2s636QcA"]}