Soutenance de thèse : Pierre Lermusiaux (VeriDis)
A008Pierre Lermusiaux (VeriDis) soutiendra sa thèse intitulée "Analyse statique de transformations pour l'élimination de motifs", effectuée sous la direction de Pierre-Étienne Moreau et Horatiu Cirstea. La soutenance aura lieu le […]


