Mélanie Jacquel. Automatisation des preuves pour la vérification des règles de l'Atelier B. (Proof Automation for Atelier B Rules Verification). PhD thesis, Conservatoire national des arts et métiers, Paris, France, 2013. [doi]
@phdthesis{hal-316,
title = {Automatisation des preuves pour la vérification des règles de l'Atelier B. (Proof Automation for Atelier B Rules Verification)},
author = {Mélanie Jacquel},
year = {2013},
url = {https://tel.archives-ouvertes.fr/tel-00840484},
researchr = {https://researchr.org/publication/hal-316},
cites = {0},
citedby = {0},
school = {Conservatoire national des arts et métiers, Paris, France},
}