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

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