National thesis
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
Defence date: 29-05-2010
Supervisor
DADI Badr-eddine