Zoltán Ujhelyi
Static Analysis of Model Transformations,
: Budapest University of Technology and Economics, 2009.
Generic Static Analysis of Transformation Programs,
, no. TUB-TR-09-EE19: Budapest University of Technology and Economics, 06/2009.
Static Type Checking of Model Transformations by Constraint Satisfaction Programming,
, no. TUB-TR-09-EE20: Budapest University of Technology and Economics, 06/2009.