{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T12:59:37Z","timestamp":1748350777319},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540183884"},{"type":"electronic","value":"9783642730054"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/978-3-642-73005-4_22","type":"book-chapter","created":{"date-parts":[[2012,8,9]],"date-time":"2012-08-09T01:11:18Z","timestamp":1344474678000},"page":"201-210","source":"Crossref","is-referenced-by-count":7,"title":["Program Verification by Symbolic Execution and Induction"],"prefix":"10.1007","author":[{"given":"M.","family":"Heisel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Reif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Stephan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","volume-title":"New York","author":"Boyer, R.S.\/ Moore, J.S. A Computational Logic","year":"1979","unstructured":"Boyer, R.S.\/ Moore, J.S. A Computational Logic. Academic Press, New York 1979"},{"key":"22_CR2","volume-title":"North-Holland Publishing Company","author":"RM Burstall","year":"1974","unstructured":"Burstall, R.M. Program Proving as Hand Simulation with a little Induction. Information Processing 74, North-Holland Publishing Company (1974)"},{"issue":"3","key":"22_CR3","first-page":"285","volume":"1","author":"Constable,R.\/Knoblock,T.\/Bates,J","year":"1985","unstructured":"Constable,R.\/Knoblock,T.\/Bates,J. Writing Programs That Construct Proofs. Journal of Automated Reasoning, Vol. 1, No. 3, pp 285 - 326 (1985)","journal-title":"Journal of Automated Reasoning"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Gordon,M\/Milner,R.\/Wadsworth,C. Edinburgh LCF. Springer LNCS 78 (1979)","DOI":"10.1007\/3-540-09724-4"},{"key":"22_CR5","unstructured":"Harel, D. Dynamic Logic. Handbook of Philosophical Logic, D. Gabbay and F. Guenther (eds.), Reidel (1984), Vol. 2, 496 - 604"},{"key":"22_CR6","first-page":"306","volume":"230","author":"H\u00e4hnle","year":"1986","unstructured":"H\u00e4hnle, R.\/Heisel, M.\/Reif, W.\/Stephan, W. An Interactive Verification System Based on Dynamic Logic. Proc. 8-th International Conference on Automated Deduction, J.Siekmann (ed), Springer LNCS 230 (1986), 306 - 315","journal-title":"Springer LNCS"},{"key":"22_CR7","volume-title":"Interner Bericht 1\/86","author":"Heisel,M.\/.Reif, W.\/Stephan, W. A Functional Language to Construct Proofs","year":"1986","unstructured":"Heisel,M.\/.Reif, W.\/Stephan, W. A Functional Language to Construct Proofs. Interner Bericht 1\/86, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe (1986)"},{"key":"22_CR8","volume-title":"Computer Science Press","author":"Horowitz,E.\/Sahni,S","year":"1987","unstructured":"Horowitz,E.\/Sahni,S. Data Structures in Pascal. Computer Science Press (1987)"},{"key":"22_CR9","volume-title":"Vollst\u00e4ndigkeit einer modifizierten Goldblatt-Logik und Approximation der Omegaregel durch Induktion. Diplomarbeit","author":"W Reif","year":"1984","unstructured":"Reif, W., Vollst\u00e4ndigkeit einer modifizierten Goldblatt-Logik und Approximation der Omegaregel durch Induktion. Diplomarbeit, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe (1984)"},{"key":"22_CR10","volume-title":"Teubner","author":"MM Richter","year":"1978","unstructured":"Richter, M.M. Logikkalk\u00fcle, Teubner (1978)"}],"container-title":["Informatik-Fachberichte","GWAI-87 11th German Workshop on Artifical Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-73005-4_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T02:05:59Z","timestamp":1606269959000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-73005-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540183884","9783642730054"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-73005-4_22","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1987]]}}}