Publikation

Automated verification of model transformations based on visual contracts

Outline:

E. Guerra, J. de Lara, M. Wimmer, G. Kappel, A. Kusel, W. Retschitzegger, E. Guerra, W. Schwinger - Automated verification of model transformations based on visual contracts - Journal of Automated Software Engineering, Vol. 20, No. 1, 2013