Friday, February 21, 2014

"Automatisation des preuves pour la vérification des règles de l'Atelier B"

Thèse de doctorat, 23 avril 2013, CNAM, Paris
Mélanie Jacquel
http://cedric.cnam.fr/fichiers/art_2850.pdf



No comments: