Stefan Westmeier

Using Concurrent Haskell to Develop User Interfaces over an Active Repository

Einar W. Karlsen, Stefan Westmeier, 1997 .

Using Concurrent Haskell to Develop Views over an Active Repository

Einar W. Karlsen, Stefan Westmeier, 1997, Implementation of Functional Languages.

HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z

Burkhart Wolff, Christoph Lüth, Einar W. Karlsen, 1998, ZUM.

Tool Integration in the UniForM-Workbench

Burkhart Wolff, Christoph Lüth, Einar W. Karlsen, 1998, Tool Support for System Specification, Development and Verification.