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 : 2025-12-11
Directeur / Directrice de thèse : KREMER Steve
Co-directeur / Co-directrice de thèse : DREIER Jannik