Integration of Software Specification Techniques for Applications in Engineering (eBook, PDF)

Hartmut Ehrig, Technical University of Berlin, Germany / Werner Damm, University of Oldenburg, Germany / Jörg Desel, Catholic University Eichstätt, Germany / Martin Große-Rhode, Technical University of Berlin, Germany / Wolfgang Reif, University of Ulm, Germany / Eckehard Schnieder, Technical University Braunschweig, Germany / Engelbert Westkämper, University of Stuttgart, Germany