Un îlot formel pour les transformations de modèles qualifiables. (A formal Island for qualifiable model transformations)

Jean-Christophe Bach. Un îlot formel pour les transformations de modèles qualifiables. (A formal Island for qualifiable model transformations). PhD thesis, University of Lorraine, Nancy, France, 2014. [doi]

Abstract

Abstract is missing.