Automatic Verification of Behavior Preservation at the Transformation Level for Relational Model Transformation. (= Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam; Nr. 112).
Versandkostenfrei!
Nicht lieferbar
