Identifiant pérenne de la notice : 234349883
Notice de type
Personne
Un cadre formel pour l'intégration de connaissances du domaine dans la conception
des systèmes : application au formalisme Event-B / Souad Kherroubi ; sous la direction
de Dominique Méry. Thèse de doctorat : Informatique : Université de Lorraine : 2018
Information trouvée : née le 29/04/1982 (d'après le formulaire de thèse)