Contribution aux tests de vacuité pour le model checking explicite / Etienne Renault
; sous la direction de Alexandre Duret-Lutz et Fabrice Kordon. Thèse de doctorat :
Informatique: Paris 6 : 2014
https://www.lrde.epita.fr/~renault/, le 2024-03-28
Information trouvée : Ingénieur de recherche au sein du Laboratoire de Recherche de l'EPITA (en 2023)