{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:16:32Z","timestamp":1725567392471},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657187"},{"type":"electronic","value":"9783540490203"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-49020-3_17","type":"book-chapter","created":{"date-parts":[[2010,10,13]],"date-time":"2010-10-13T11:40:24Z","timestamp":1286970024000},"page":"239-242","source":"Crossref","is-referenced-by-count":4,"title":["TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving"],"prefix":"10.1007","author":[{"given":"Christoph","family":"L\u00fcth","sequence":"first","affiliation":[]},{"given":"Haykal","family":"Tej","sequence":"additional","affiliation":[]},{"family":"Kolyang","sequence":"additional","affiliation":[]},{"given":"Bernd","family":"Krieg-Br\u00fcckner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Karlsen, E.W.: Tool Integration in a Functional Setting. PhD thesis, Universit\u00e4t Bremen (1998)"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/BFb0105411","volume-title":"Theorem Proving in Higher Order Logics","author":"T.S. Kolyang","year":"1996","unstructured":"Kolyang, T.S., Wolff, B.: A structure preserving encoding of Z in Isabelle\/HOL. In: von Wright, J., Grundy, J., Harrison, J. (eds.) TPHOLs 1996. LNCS, vol.\u00a01125, pp. 283\u2013298. Springer, Heidelberg (1996)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Krieg-Br\u00fcckner, B.: UniForM perspectives for formal methods. In: International Workshop on Current Trends in Formal Methods, in LNCS. Springer, Heidelberg (1998) to appear","DOI":"10.1007\/3-540-48257-1_16"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-540-49676-2_9","volume-title":"ZUM \u201998: The Z Formal Specification Notation","author":"C. L\u00fcth","year":"1998","unstructured":"L\u00fcth, C., Karlsen, E.W., Kolyang, S.W., Wolff, B.: HOL-Z in the UniForM-workbench - a case study in tool integration for Z. In: Bowen, J.P., Fett, A., Hinchey, M.G. (eds.) ZUM 1998. LNCS, vol.\u00a01493, pp. 116\u2013134. Springer, Heidelberg (1998)"},{"key":"17_CR5","unstructured":"L\u00fcth, C., Karlsen, E.W., Kolyang, S. Westmeier, Wolff, B.: Tool integration in the UniForM workbench. In: Workshop on Tool Support for System Specification, Development, and Verification, Advances of Computing Science. Springer, Heidelberg (to appear)"},{"key":"17_CR6","unstructured":"L\u00fcth, C., Westmeier, S., Wolff, B: sml_tk: Functional programming for graphical user interfaces. Technical Report 7\/96, Universit\u00e4t Bremen (1996), See also the sml_tk home page at http:\/\/www.informatik.uni-bremen.de\/~cxl\/sml_tk\/"},{"key":"17_CR7","unstructured":"L\u00fcth, C., Wolf, B.: Functional design and implementation of graphical user interfaces for theorem provers. To appear in Journal of Functional Programming"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","first-page":"349","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"1997","unstructured":"Mossakowski, T., Kolyang, Krieg-Br\u00fcckner, B.: Static semantic analysis and theorem proving for CASL. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 349\u2013364. Springer, Heidelberg (1997)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0030541","volume-title":"Isabelle - A Generic Theorem Prover","author":"L.C. Paulson","year":"1994","unstructured":"Paulson, L.C.: In: Paulson, L.C. (ed.) Isabelle. LNCS, vol.\u00a0828. Springer, Heidelberg (1994)"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1007\/3-540-63533-5_17","volume-title":"FME \u201997 Industrial Applications and Strengthened Foundations of Formal Methods","author":"H. Tej","year":"1997","unstructured":"Tej, H., Wolff, B.: A corrected failure-divergence model for CSP in Isabelle\/HOL. In: Fitzgerald, J., Jones, C.B., Lucas, P. (eds.) FME 1997. LNCS, vol.\u00a01313, pp. 318\u2013337. Springer, Heidelberg (1997)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-49020-3_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T12:13:12Z","timestamp":1559736792000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-49020-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657187","9783540490203"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-49020-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}