{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:32:15Z","timestamp":1725622335293},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540076193"},{"type":"electronic","value":"9783642663192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1976]]},"DOI":"10.1007\/978-3-642-66319-2_5","type":"book-chapter","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T20:27:15Z","timestamp":1318969635000},"page":"43-51","source":"Crossref","is-referenced-by-count":0,"title":["Eine Methode Zur Rechnergest\u00fctzten Verifikation von While-Programmen"],"prefix":"10.1007","author":[{"given":"Alfred Lothar","family":"Luft","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume":"XIX","author":"RW Floyd","year":"1967","unstructured":"R.W. Floyd: \u201cAssigning Meanings to Programs\u201d, Proceedings of Symposia in Applied Mathematics, Volume XIX, 19\u201332 (1967)","journal-title":"Proceedings of Symposia in Applied Mathematics"},{"key":"5_CR2","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"C.A.R. Hoare: \u201cAn Axiomatic Basis for Computer Programming\u201d, CACM 12, 10, 576\u2013583 (1969)","journal-title":"CACM"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1016\/S0022-0000(70)80022-8","volume":"4","author":"DC Luckham","year":"1969","unstructured":"D.C. Luckham\/ D.M. Park\/ M.S. Paterson: \u201cOn Formalized Computer Programs\u201d, J. Comput. System Sci. 4, 220\u2013249 (1970)","journal-title":"J. Comput. System Sci"},{"key":"5_CR4","unstructured":"A.L. Luft: \u201cGrundlagen einer Methode f\u00fcr die rechner gest\u00fctzte Verifikation von while-Proarammen w\u00e4hrend der Programmerstellung\u201d Arbeitsbericht des Instituts f\u00fcr Mathem. Maschi nen und Datenverarbeitung Erlangen, Bd. 8, Nr. 7, August 1975"},{"key":"5_CR5","volume-title":"Mathematical Theory of Computation","author":"Z Manna","year":"1974","unstructured":"Z. Manna: \u201cMathematical Theory of Computation\u201d McGraw-Hill Book Company, New York 1974"}],"container-title":["Informatik-Fachberichte","Programmiersprachen"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-66319-2_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:50:32Z","timestamp":1606254632000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-66319-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976]]},"ISBN":["9783540076193","9783642663192"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-66319-2_5","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1976]]}}}