by Hartmut Ehrig
This volume is a documentation of the main results in the research area “In- gration of Software Speci?cation Techniques for Applications in Engineering”. On one hand it is based on the Priority Pr…