| |
| 1998 | ||
|---|---|---|
| 2 | 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: 116-134 | |
| 1997 | ||
| 1 | EE | Einar W. Karlsen, Stefan Westmeier: Using Concurrent Haskell to Develop Views over an Active Repository. Implementation of Functional Languages 1997: 285-303 |
| 1 | Einar W. Karlsen | [1] [2] |
| 2 | Kolyang | [2] |
| 3 | Christoph Lüth | [2] |
| 4 | Burkhart Wolff | [2] |