Thèse nationale
Vérification automatique de code bas-niveau : C, assembleur et binaire
Vérification automatique de code bas-niveau : C, assembleur et binaire
Université Ibn Khaldoun
Date de soutenance: 29-05-2010
Encadrant
DADI Badr-eddine