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