| Etablissement | Ecole Nationale Supérieure d'informatique | | Affiliation | Département de Post-Graduation | | Auteur | KOUDIL, Mouloud | | Directeur de thèse | (Docteur) | | Filière | Informatique | | Diplôme | Magister | | Titre | Vérification intéractive de circuits par l'analyse incrémentale | | Statut | Soutenue |
|