| |
| 1995 | ||
|---|---|---|
| 3 | Andreas Rüping, Emil Sekerinski: Modula-3. Formal Development of Reactive Systems 1995: 357-371 | |
| 2 | Claus Lewerentz, Thomas Lindner, Andreas Rüping, Emil Sekerinski: On Object-Oriented Design and Verification. KORSO Book 1995: 92-111 | |
| 1993 | ||
| 1 | Andreas Rüping, Franz Weber, Walter Zimmer: Demonstrating Coherent Design: A Data Structure Catalogue. TOOLS (11) 1993: 363-375 | |
| 1 | Claus Lewerentz | [2] |
| 2 | Thomas Lindner | [2] |
| 3 | Emil Sekerinski | [2] [3] |
| 4 | Franz Weber | [1] |
| 5 | Walter Zimmer | [1] |