Hmidi, Zohra (2023) Intégration des méthodes formelles dans le développement des RCSFs. Doctoral thesis, Université Mohamed Khider (Biskra - Algérie).