Book

Integration of Software Specification Techniques for Applications in Engineering

by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif