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]

@phdthesis{hal-1744,
  title = {Un îlot formel pour les transformations de modèles qualifiables. (A formal Island for qualifiable model transformations)},
  author = {Jean-Christophe Bach},
  year = {2014},
  url = {https://tel.archives-ouvertes.fr/tel-01081055},
  researchr = {https://researchr.org/publication/hal-1744},
  cites = {0},
  citedby = {0},
  school = {University of Lorraine, Nancy, France},
}