IAEM
Laboratoire : LORIA
Sujet de thèse : Encodages de la théorie des ensembles de TLA+ pour la preuve automatique
Directeur / Directrice de thèse : MERZ Stephan
Co-directeur / Co-directrice de thèse : FONTAINE Pascal