Checking Model Transformation Refinement. (2013)

by F Buttner, M Egea, E Guerra, J de Lara
Venue:Proc. Inf. Conf. ICMT. LNCS 7909,