
×
Integration of Software Specification Techniques for Applications in Engineering
Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
herausgegeben von Hartmut Ehrig und weiterenIncludes supplementary material: sn. pub/extras