KLEIN ELISE

IAEM
Laboratoire : LORIA
Sujet de thèse : Vérification formelle appliquée : étude d'un cas concret et amélioration du support des opérateurs AC dans Tamarin
Date de soutenance : 11 décembre 2025
Directeur / Directrice de thèse : KREMER Steve
Co-directeur / Co-directrice de thèse : DREIER Jannik