{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:15:31Z","timestamp":1725455731059},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540605898"},{"type":"electronic","value":"9783540478027"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0015472","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:32:11Z","timestamp":1131863531000},"page":"369-387","source":"Crossref","is-referenced-by-count":6,"title":["Three selected case studies in verification"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Fuch\u00df","sequence":"first","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","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"20_CR1","unstructured":"M. Abadi, M. Burrows, B. Lampson and G. Plotkin. A Calculus for Access Control in Distributed Systems. In CRYPTO 91, Proceedings. 1991."},{"key":"20_CR2","unstructured":"J. ter Bekke. Semantic Data Modeling. Prentice Hall, 1992."},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"F. Cornelius, H. Hu\u00dfmann and M. L\u00f6we. The Korso Case Study for Software Engineering with Formal Methods: A Medical Information System. In Broy, J\u00e4hnichen (eds.), Korso, Correct Software by Formal Methods. Springer LNCS 1995. (In this volume).","DOI":"10.1007\/BFb0015474"},{"key":"20_CR4","volume-title":"Technical Report 2\/94","author":"T. Fuch\u00df","year":"1994","unstructured":"T. Fuch\u00df. Translating E\/R-diagrams into Consistent Database Specifications. Technical Report 2\/94, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe, Germany, 1994."},{"key":"20_CR5","unstructured":"R. Hettler. \u00dcbersetzung von E\/R-Modellen nach Spectrum. Technical Report I9333, TU M\u00fcnchen, Germany, 1993 (in german)."},{"key":"20_CR6","volume-title":"Technical Report I9335","author":"R. Hettler","year":"1993","unstructured":"R. Hettler, H. Hu\u00dfmann, S. Merz, F. Nickel and O. Slotosch. Die funktionale Essenz von HDMS-A. Technical Report I9335, Fakult\u00e4t f\u00fcr Informatik, TU M\u00fcnchen, Germany, 1993 (in german)."},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"M. Heisel, W. Reif and W. Stephan. Tactical Theorem Proving in Program Verification. 10th International Conference on Automated Deduction, Kaiserslautern, FRG, Springer LNCS 1990.","DOI":"10.1007\/3-540-52885-7_83"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"P.A. Larson. Dynamic Hashing. BIT 18 (1978).","DOI":"10.1007\/BF01931695"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"P. Pepper, M. Wirsing, et al. A Method for the Development of Correct Software. In Broy, J\u00e4hnichen (eds.), Korso, Correct Software by Formal Methods. Springer LNCS 1995. (In this volume).","DOI":"10.1007\/BFb0015454"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"W. Reif. Verification of Large Software Systems. In Shyamasundar (ed.), Foundations of Software Technology and Theoretical Computer Science, Proceedings, New Dehli, India. Springer LNCS 1992.","DOI":"10.1007\/3-540-56287-7_109"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"W. Reif. The KIV-Approach to Software Verification. In Broy, J\u00e4hnichen (eds.), Korso, Correct Software by Formal Methods. Springer LNCS 1995. (In this volume).","DOI":"10.1007\/BFb0015471"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"W. Reif and K. Stenzel. Reuse of Proofs in Software Verification. In Shyamasundar (ed.), Foundation of Software Technology and Theoretical Computer Science, Proceedings, Bombay, India. Springer LNCS 1993.","DOI":"10.1007\/3-540-57529-4_61"},{"key":"20_CR13","volume-title":"Technical Report 26\/93","author":"K. Stenzel","year":"1993","unstructured":"K. Stenzel. A Verified Access Control Model. Technical Report 26\/93, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe, Germany, 1993."}],"container-title":["Lecture Notes in Computer Science","KORSO: Methods, Languages, and Tools for the Construction of Correct Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0015472","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T20:47:01Z","timestamp":1586551621000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0015472"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540605898","9783540478027"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0015472","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}