@phdthesis{hal-5690,
  title = {Oracles et qualification du test de transformations de modèles},
  author = {Jean-Marie Mottu},
  year = {2008},
  url = {https://tel.archives-ouvertes.fr/tel-00514506},
  researchr = {https://researchr.org/publication/hal-5690},
  cites = {0},
  citedby = {0},
  school = {University of Rennes 1, France},
}