{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:08Z","timestamp":1725664088724},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540575290"},{"type":"electronic","value":"9783540482116"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57529-4_61","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:06:09Z","timestamp":1330261569000},"page":"284-293","source":"Crossref","is-referenced-by-count":26,"title":["Reuse of proofs in software verification"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Reif","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kurt","family":"Stenzel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"23_CR1","volume-title":"A Computational Logic","author":"R. S. Boyer","year":"1979","unstructured":"R. S. Boyer, J S. Moore: A Computational Logic. Academic Press, New York 1979"},{"key":"23_CR2","unstructured":"R. M. Burstall: Program Proving as Hand Simulation with a little Induction. Information Processing 74, North Holland 1974."},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"D. Harel: First Order Dynamic Logic. Springer LNCS 1979.","DOI":"10.1007\/3-540-09237-4"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"M. Heisel, W. Reif, W. Stephan: A Dynamic Logic for Program Verification. \u201cLogic at Botik\u201d 89, Meyer, Taitslin (eds.). Springer LNCS 1989.","DOI":"10.1007\/3-540-51237-3_12"},{"key":"23_CR5","volume-title":"Tactical Theorem Proving in Program Verification","author":"M. Heisel","year":"1990","unstructured":"M. Heisel, W. Reif, W. Stephan: Tactical Theorem Proving in Program Verification. 10th International Conference on Automated Deduction, Kaiserslautern, FRG, Springer LNCS 1990."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"G. Huet, D. C. Oppen: Equations and Rewrite Rules: a survey. In \u201cFormal Languages: Perspectives and Open Problems\u201d, R. Book (ed.), Academic Press 1980","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"key":"23_CR7","volume-title":"Technical Report 22","author":"J. S. Moore","year":"1988","unstructured":"J S. Moore: Piton, A Verified Assembly Level Language. Technical Report 22, Computational Logic, Inc., Austin, Texas 1988."},{"key":"23_CR8","volume-title":"The KIV-System: Systematic Construction of Verified Software","author":"W. Reif","year":"1992","unstructured":"W. Reif: The KIV-System: Systematic Construction of Verified Software. 11th Conference on Automated Deduction, Albany, NY, USA, D. Kapur (ed.), Springer LNCS 1992."},{"key":"23_CR9","volume-title":"Verification of Large Software Systems","author":"W. Reif","year":"1992","unstructured":"W. Reif: Verification of Large Software Systems. Conference on Foundations of Software Technology and Theoretical Computer Science, New Dehli, India, Shyamasundar (ed.), Springer LNCS 1992."},{"key":"23_CR10","unstructured":"W. Reif, K. Stenzel: Reuse of Proofs in Software Verification. Technical report No. 26\/92, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57529-4_61.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:12:45Z","timestamp":1605647565000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57529-4_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540575290","9783540482116"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-57529-4_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}