× Integration of Software Specification Techniques for Applications in EngineeringPriority Program SoftSpez of the German Research Foundation (DFG) Final Reportherausgegeben von Hartmut Ehrig und weiterenMitwirkendeHerausgegeben vonHartmut EhrigHerausgegeben vonWerner DammHerausgegeben vonJörg DeselHerausgegeben vonMartin Große-RhodeHerausgegeben vonWolfgang ReifHerausgegeben vonEckehard SchniederHerausgegeben vonEngelbert WestkämperIncludes supplementary material: sn. pub/extras Verfügbarkeit jetzt prüfen