Intégration des méthodes statiques et dynamique  pour la vérification de logiciels.

Recherche en cours

Auteur	MAHDAOUI, Latifa
Directeur de thèse	ALI MAZIGHI Zaia (Maitre de conférence)
Co-directeur	(Docteur)
Filière	Informatique
Diplôme	Doctorat
Titre	Intégration des méthodes statiques et dynamique pour la vérification de logiciels.
Statut	Vérifié