Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report

Hartmut Ehrig Werner Damm Jörg Desel Martin Große-Rhode Wolfgang Reif Eckehard Schnieder Engelbert Westkämper Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report SoftSpez Final Report Lecture Notes in Computer Science 3147 Springer 2004 3-540-23135-8 https://doi.org/10.1007/b100778 db/conf/dfg/softspez2004.html