Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG). Final Report
Ehrig, Hartmut ; Damm, Werner ; Desel, Jorg ; Groe-Rhode, Martin ; Reif, Wolfgang ; Schnieder, Eckehard ; Westkamper, Engelbert