Isbn: 9783869563916 - automatic verification of behavior preservation at the transformation level for relational model transformation (technische berichte des ... an der universität potsdam) (1 Ergebnisse)

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).