Integration of Software Specification Techniques for Applications in EngineeringHartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif · First published 2011Open the Tome
the genesis of the order-neisse linegotthold rhode and wolfgang wagner · First published 1959Open the Tome
