Internet : https://www.rwth-aachen.de/cms/root/Die-RWTH/Exzellenzinitiative/Zukunftskonzept-II/Juniorprofessuren/~bsoz/Professorin-Erika-Abraham/?lidx=1
(consulté le 19/09/2017)
Nouvelles techniques pour l'instanciation et la production des preuves dans SMT /
Haniel Barbosa ; sous la direction de Stephan Merz, David Déharbe et Pascal Fontaine.
Thèse de doctorat : Informatique : Université de Lorraine : 2017
Information trouvée : Professeure, RWTH Aachen University en 2017