//uclouvain.be/fr/repertoires/xavier.urbain, 2021-02-12
Information trouvée : Professeur à l'Université Catholique de Louvain (en 2019)
Certification des raisonnements formels portant sur des systèmes d’information critiques
/ Amira Henaien ; sous la dir. de Maurice Margenstern et Sorin Stratulat. Thèse de
doctorat : Informatique : Université de Lorraine : 2015
Information trouvée : Maître de conférences, ENSIIE en 2015