 |
 |
Doctorant
Université Paris-Saclay
Vérification d'Algorithmes, Langages et Systèmes
Tel :
Fax :
Bureau : 39/PCRI-S
Page personnelle :
Courrier électronique : claire.dross@lri.fr |
Activités de recherche - Démonstration automatique, SMT et applications
Projets - Toccata
Thèses et habilitations Doctorat - Procédures de Décision Génériques pour des Théories Axiomatiques du Premier Ordre
Participations à des contrats - CIFRE ADACORE
|