Stefan Westmeier

Publication Activity (10 Years)

Years Active: 1997-1998
Publications (10 Years): 0

Publications

Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff
Tool Integration in the UniForM-Workbench. Tool Support for System Specification, Development and Verification (1998)
Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff
HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. ZUM (1998)
Einar W. Karlsen, Stefan Westmeier
Using Concurrent Haskell to Develop Views over an Active Repository. Implementation of Functional Languages (1997)