Automatic verification of behavior preservation at the transformation level for relational model transformation (Technische Berichte des ... an der Universität Potsdam) - Couverture souple

 
9783869563916: Automatic verification of behavior preservation at the transformation level for relational model transformation (Technische Berichte des ... an der Universität Potsdam)