| 2007 |
|---|
| 5 | EE | Till Mossakowski,
Christian Maeder,
Klaus Lüttich:
The Heterogeneous Tool Set, Hets.
TACAS 2007: 519-522 |
| 4 | EE | Till Mossakowski,
Christian Maeder,
Klaus Lüttich:
The Heterogeneous Tool Set (Hets).
VERIFY 2007 |
| 2001 |
|---|
| 3 | | Marko Fabiunke,
Joanna Filipek,
Christian Maeder:
XMI Based UML Model Composition in KobrA.
GI Jahrestagung (2) 2001: 845-849 |
| 1997 |
|---|
| 2 | EE | Klaus Didrich,
Wolfgang Grieskamp,
Christian Maeder,
Peter Pepper:
Programming in the Large: The Algebraic-Functional Language Opal 2alpha.
Implementation of Functional Languages 1997: 322-337 |
| 1996 |
|---|
| 1 | | Klaus Didrich,
Carola Gerke,
Wolfgang Grieskamp,
Christian Maeder,
Peter Pepper:
Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract).
AMAST 1996: 559-562 |
