Ehrig, Hartmut..Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report /.Springer,,c2004..
Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report /
