Martin Gro?e-Rhode

{PDF} Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report Hartmut Ehrig (auth.), Hartmut Ehrig, Werner Damm, J?rg Desel, Martin Gro?e-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westk?mper (eds.)