@PHDTHESIS{jacqu2013,
url = "http://www.theses.fr/2013CNAM0860",
title = "Automatisation des preuves pour la vérification des règles de l'Atelier B",
author = "Jacquel, Mélanie",
year = "2013",
note = "Thèse de doctorat dirigée par Dubois, CatherineDelahaye, David et Berkani, Karim Informatique Paris, CNAM 2013",
note = "2013CNAM0860",
url = "http://www.theses.fr/2013CNAM0860/document",
}