 | 2009 |
|---|
| 6 |       | Mihai Codescu,
Bruno Langenstein,
Christian Maeder,
Till Mossakowski:
The VSE Refinement Method in Hets.
ICFEM 2009: 660-678 |
| 2007 |
|---|
| 5 | | Till Mossakowski,
Christian Maeder,
Klaus Lüttich:
The Heterogeneous Tool Set, Hets.
TACAS 2007: 519-522 |
| 4 | | 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 | | 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 |
