@phdthesis{bach:tel-01081055,
  TITLE = {{Un \^ilot formel pour les transformations de modèles qualifiables}},
  AUTHOR = {Bach, Jean-Christophe},
  URL = {https://tel.archives-ouvertes.fr/tel-01081055},
  SCHOOL = {{Universit{\'e} de Lorraine}},
  YEAR = {2014},
  MONTH = Sep,
  KEYWORDS = {traceability ; models ; terms ; rewriting ; qualification ; tra{\c c}abilit{\'e} ; mod{\`e}les ; transformation ; termes ; r{\'e}{\'e}criture},
  TYPE = {Theses},
  PDF = {https://tel.archives-ouvertes.fr/tel-01081055/file/JCBach-these.pdf},
  HAL_ID = {tel-01081055},
  HAL_VERSION = {v1},
}