Sara, Houhou (2021) Vérification paramétréee à partir des spécifications formelles des systèemes d’information. Doctoral thesis, Université Mohamed Khider (Biskra - Algérie).