{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:18:17Z","timestamp":1725488297666},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664628"},{"type":"electronic","value":"9783540482574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48257-1_26","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T16:25:09Z","timestamp":1184948709000},"page":"351-358","source":"Crossref","is-referenced-by-count":4,"title":["VSE: Controlling the Complexity in Formal Software Developments"],"prefix":"10.1007","author":[{"given":"Dieter","family":"Hutter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heiko","family":"Mantel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Rock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner","family":"Stephan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Wolpers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Balser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Reif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Schellhorn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kurt","family":"Stenzel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","first-page":"253","volume-title":"Theoretical Computer Science","author":"M. Abadi","year":"1991","unstructured":"M. Abadi and L. Lamport: The existence of refinement mappings. Theoretical Computer Science, North Holland, Elsevier Science Publishers B. V., 82(2):253\u2013284, May 1991."},{"issue":"3","key":"26_CR2","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"M. Abadi and L. Lamport: Conjoining specifications. ACM Transactions on Programming Languages and Systems, 17(3):507\u2013534, May 1995.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"26_CR3","unstructured":"D. Hutter: Hierarchical proof planning using abstractions. 10th FLAIRS\u201997, Daytona Beach, Florida, 1997"},{"key":"26_CR4","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1023\/A:1005772217686","volume":"18","author":"D. Hutter","year":"1997","unstructured":"D. Hutter: Colouring Terms to control equational reasoning. Journal of Automated Reasoning, Kluwer-Publishers, Vol. 18, pp. 399\u2013442, 1997","journal-title":"Journal of Automated Reasoning"},{"key":"26_CR5","volume-title":"Proceedings Formal Methods Europe 1996: Industrial Benefits and Advances in Formal Methods","author":"D. Hutter","year":"1996","unstructured":"D. Hutter, B. Langenstein, C. Sengler, J. H. Siekmann, W. Stephan, A. Wolpers: Deduction in the Verification Support Environment (VSE). In Marie-Claude Gaudel and James Woodcock, editors, Proceedings Formal Methods Europe 1996: Industrial Benefits and Advances in Formal Methods. Springer-Verlag, Berlin, Germany, 1996."},{"key":"26_CR6","unstructured":"IT-Sicherheitskriterien. Bundesanzeiger, 1989."},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"L. Lamport: The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3), 1994.","DOI":"10.1145\/177492.177726"},{"key":"26_CR8","unstructured":"G. Rock, W. Stephan, and A. Wolpers: Assumption-commitment specifications and safety-critical systems. In Tagungsband 8. GI\/ITG-Fachgespr\u00e4ch Formale Beschrei-bungstechniken f\u00fcr verteilte Systeme, 1998. to appear."},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"G. Rock, W. Stephan, and A. Wolpers: Modular reasoning about structured TLA specifications. In Proceedings TOOLS\u201998, 1998. to appear.","DOI":"10.1007\/978-3-7091-6355-9_16"},{"key":"26_CR10","series-title":"Lect Notes Comput Sci","volume-title":"Axiomatising the logic of computer programming","author":"R. Goldblatt","year":"1982","unstructured":"R. Goldblatt: Axiomatising the logic of computer programming. Springer LNCS 130, 1982."},{"key":"26_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Logical Foundations of Computer Science","author":"M. Heisel","year":"1989","unstructured":"M. Heisel, W. Reif, and W. Stephan: A Dynamic Logic for program verification. In A. Meyer and M. Taitslin, editors, Logical Foundations of Computer Science. Springer LNCS 363, 1989."},{"key":"26_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023893","volume-title":"Symposium on Logical Foundations of Computer Science","author":"W. Reif","year":"1992","unstructured":"W. Reif. Correctness of generic modules. In Nerode and Taitslin, editors, Symposium on Logical Foundations of Computer Science. Springer LNCS 620, 1992."},{"key":"26_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Foundation of Software Technology and Theoretical Computer Science. Proceedings","author":"W. Reif","year":"1993","unstructured":"W. Reif and K. Stenzel. Reuse of proofs in software verification. In R. Shyamasundar, editor, Foundation of Software Technology and Theoretical Computer Science. Proceedings. Springer LNCS 761, 1993."}],"container-title":["Lecture Notes in Computer Science","Applied Formal Methods \u2014 FM-Trends 98"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48257-1_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T07:08:27Z","timestamp":1556694507000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48257-1_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664628","9783540482574"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-48257-1_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}