{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:32:44Z","timestamp":1725485564826},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000105"},{"type":"electronic","value":"9783540360780"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36078-6_3","type":"book-chapter","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T22:48:36Z","timestamp":1180651716000},"page":"36-52","source":"Crossref","is-referenced-by-count":3,"title":["Maintenance of Formal Software Developments by Stratified Verification"],"prefix":"10.1007","author":[{"given":"Serge","family":"Autexier","sequence":"first","affiliation":[]},{"given":"Dieter","family":"Hutter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"3_CR1","unstructured":"S. Autexier, D. Hutter, H. Mantel, A. Schairer. System description: InKa 5.0-a logic voyager. In H. Ganzinger (Ed.): 16th International Conference on Automated Deduction, Springer, LNAI 1632, 1999."},{"key":"3_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings Workshop on Algebraic Development Techniques, WADT-99","author":"S. Autexier","year":"2000","unstructured":"S. Autexier, D. Hutter, H. Mantel, and A. Schairer. Towards an evolutionary formal software-development using CASL. In C. Choppy and D. Bert, editors, Proceedings Workshop on Algebraic Development Techniques, WADT-99. Springer, LNCS 1827, 2000."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"S. Autexier, T. Mossakowski. Integrating HOL-Casl into the Development Graph Manager Maya. In A. Armando (Ed.) Frontiers of Combining Systems (Fro-CoS\u201902), Santa Margherita Ligure, Italy, Springer LNAI, April, 2002.","DOI":"10.1007\/3-540-45988-X_2"},{"key":"3_CR4","unstructured":"CoFI Language Design Task Group. The common algebraic specification language (Casl)-summary, 1998. Version 1.0 and additional Note S-9 on Semantics, available from http:\/\/www.brics.dk\/Projects\/CoFI ."},{"issue":"2","key":"3_CR5","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S0304-3975(96)00160-0","volume":"173","author":"M. Cerioli","year":"1997","unstructured":"M. Cerioli, J. Meseguer. May I borrow your logic? Theoretical Computer Science, 173(2):311\u2013347, 1997.","journal-title":"Theoretical Computer Science"},{"key":"3_CR6","unstructured":"D. Hutter et al.: Verification Support Environment (VSE), Journal of High Integrity Systems, Vol. 1, 1996."},{"key":"3_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/10721959_8","volume-title":"Automated Deduction-CADE-17","author":"W. M. Farmer","year":"2000","unstructured":"W. M. Farmer. An infrastructure for intertheory reasoning, In: D. McAllester, ed., Automated Deduction-CADE-17, LNCS, 1831:115\u2013131, 2000."},{"key":"3_CR8","unstructured":"Maya-webpage: http:\/\/www.dfki.de\/~inka\/maya.html ."},{"key":"3_CR9","unstructured":"J. McDonald, J. Anton. SPECWARE-Producing Software Correct by Construction. Kestrel Institute Technical Report KES.U.01.3., March 2001."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"J. Meseguer. General logics, In Logic Colloquium 87, pages 275\u2013329, North Holland, 1989.","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"3_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-45314-8_20","volume-title":"Proceedings of Fundamental Approaches to Software Engineering (FASE 2001)","author":"T. Mossakowski","year":"2001","unstructured":"T. Mossakowski, S. Autexier, and D. Hutter: Extending Development Graphs With Hiding. In H. Hu\u00dfmann (Ed.), Proceedings of Fundamental Approaches to Software Engineering (FASE 2001), Italy. LNCS 2029, 269\u2013283. Springer, 2001."},{"key":"3_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0030541","volume-title":"Isabelle-A Generic Theorem Prover","author":"L. Paulson","year":"1994","unstructured":"L. Paulson. Isabelle-A Generic Theorem Prover. LNCS 828. Springer, 1994."},{"key":"3_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BFb0015471","volume-title":"KORSO: Methods, Languages, and Tools for the Construction of Correct Software-Final Report","author":"W. Reif","year":"1995","unstructured":"W. Reif: The KIV-approach to Software Verification, In KORSO: Methods, Languages, and Tools for the Construction of Correct Software-Final Report, LNCS 1009, 339\u2013368. Springer, 1995."}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36078-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T11:17:58Z","timestamp":1556450278000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36078-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000105","9783540360780"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-36078-6_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}