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

Hartmut Ehrig , Werner Damm , Jörg Desel