CONTEJEAN Evelyne
Habilitation à diriger des recherches
Equipe : Vérification d'Algorithmes, Langages et Systèmes
Facettes de la preuve Jeux de reflets entre démonstration automatique et preuve assistée
Début le 01/01/1970
Direction : PAULIN-MOHRING, Christine
Ecole doctorale :
Etablissement d'inscription : Université Paris-Saclay
Lieu de déroulement :
Soutenue le 13/06/2014 devant le jury composé de :
Herman Geuvers
Sophie Tison
Jürgen Giesl
Christine Paulin
Brigitte Rozoy
Michaël Rusinovitch
Activités de recherche :
Résumé :
