TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving-Reference-Cited by-同舟云学术

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving

Published:1999 Issue: Volume: Page:239-242
ISSN:0302-9743
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Lüth Christoph,Tej Haykal,Kolyang ,Krieg-Brückner Bernd

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-49020-3_17

Reference10 articles.

1. Karlsen, E.W.: Tool Integration in a Functional Setting. PhD thesis, Universität Bremen (1998)

2. Lecture Notes in Computer Science;T.S. Kolyang,1996

3. Krieg-Brückner, B.: UniForM perspectives for formal methods. In: International Workshop on Current Trends in Formal Methods, in LNCS. Springer, Heidelberg (1998) to appear

4. Lecture Notes in Computer Science;C. Lüth,1998

5. Lüth, 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)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Integrating HOL-CASL into the Development Graph Manager MAYA;Frontiers of Combining Systems;2002

2. CASL: From Semantics to Tools;Tools and Algorithms for the Construction and Analysis of Systems;2000

3. More About TAS and IsaWin — Tools for Formal Program Development;Fundamental Approaches to Software Engineering;2000

4. The UniForM workbench a universal development environment for formal methods;FM’99 — Formal Methods;1999