| Etablissement | Université Mohamed Boudiaf des Sciences et de la Technologie - Mohamed Boudiaf d'Oran | | Affiliation | Département d'Informatique | | Auteur | MAMI, Mohamed Amine | | Directeur de thèse | KHELFI Fayçal (Docteur) | | Filière | Informatique | | Diplôme | Magister | | Titre | Intégration des techniques formelles dans les méthodes semi-formelles | | Statut | Vérifié |
|