IAEM
Laboratoire : LORIA
Sujet de thèse : Méthodes pour le raisonnement d'ordre supérieur dans SMT
Date de soutenance : 2 novembre 2021
Directeur / Directrice de thèse : MERZ Stephan
Co-directeur / Co-directrice de thèse : FONTAINE Pascal