| 2004 | ||
|---|---|---|
| 3 | Benjamin Braatz, Markus Klein, Gunnar Schröter: Semantical Integration of Object-Oriented Viewpoint Specification Techniques. SoftSpez Final Report 2004: 602-626 | |
| 2 | Benjamin Braatz, Markus Klein, Gunnar Schröter, Matthias Bengel: A Formal Component Concept for the Specification of Industrial Control Systems. SoftSpez Final Report 2004: 69-88 | |
| 2000 | ||
| 1 | Hartmut Ehrig, Gunnar Schröter: The Role of Mathematics and Formal Specification Techniques in Software System Development. Bulletin of the EATCS 72: 77-83 (2000) | |
| 1 | Matthias Bengel | [2] |
| 2 | Benjamin Braatz | [2] [3] |
| 3 | Hartmut Ehrig | [1] |
| 4 | Markus Klein | [2] [3] |