Mme DROSS Claire

ATTENTION : ce membre a quitté le laboratoire le 02/04/2014

Doctorant Université Paris-Sud 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