
IAEM
Laboratoire : LORIA
Sujet de thèse : Analyse statique de transformations pour l'élimination de motif
Date de soutenance : 8 septembre 2022
Directeur / Directrice de thèse : MOREAU Pierre-Etienne
Co-directeur / Co-directrice de thèse : CIRSTEA Horatiu