{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:24:06Z","timestamp":1725456246601},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627814"},{"type":"electronic","value":"9783540685173"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0030646","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T01:10:41Z","timestamp":1133399441000},"page":"855-858","source":"Crossref","is-referenced-by-count":6,"title":["TAS and IsaWin: Generic interfaces for transformational program development and theorem proving"],"prefix":"10.1007","author":[{"family":"Kolyang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"L\u00fcth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Wolff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"65_CR1","doi-asserted-by":"crossref","unstructured":"B. Hoffmann and B. Krieg-Br\u00fcckner. Program Development by Specification and Transformation. LNCS 690. Springer Verlag, 1993.","DOI":"10.1007\/3-540-56733-X"},{"key":"65_CR2","unstructured":"B. Krieg-Br\u00fcckner, J. Peleska, E.-R. Olderog, D. Balzer, and A. Baer. UniForM Workbench\u2014Universelle Entwicklungsumgebung f\u00fcr formale Methoden. Technischer Bericht 8\/95, FB 3, Universit\u00e4t Bremen, 1995."},{"key":"65_CR3","doi-asserted-by":"crossref","unstructured":"Kolyang, T. Santen, and B. Wolff. Correct and user-friendly implementations of transformation systems. In M. C. Gaudel and J. Woodcock, editors, Formal Methods Europe '96, LNCS 1051, pages 629\u2013648. Springer Verlag, 1996.","DOI":"10.1007\/3-540-60973-3_111"},{"key":"65_CR4","unstructured":"C. L\u00fcth, S. Westmeier, and B. Wolff, sml_tk: Functional programming for graphical user interfaces. Technical Report 7\/96, FB 3, Univ. Bremen, 1996."},{"key":"65_CR5","unstructured":"L. C. Paulson. Isabelle \u2014 A Generic Theorem Prover. Number 828 in LNCS. Springer Verlag, 1994."},{"issue":"9","key":"65_CR6","doi-asserted-by":"publisher","first-page":"1024","DOI":"10.1109\/32.58788","volume":"16","author":"D. R. Smith","year":"1991","unstructured":"D. R. Smith. KIDS\u2014a semi-automatic program development system. IEEE Transactions on Software Engineering, 16(9):1024\u20131043, 1991.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '97: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0030646","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T10:59:04Z","timestamp":1554721144000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030646"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627814","9783540685173"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/bfb0030646","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}