001018217
100
$a
y50
101
$a
fre
2001
$a
Intégration des méthodes statiques et dynamique pour la vérification de logiciels.
$b
ressource électronique
328 1
$b
Doctorat
$c
Informatique
700
$a
MAHDAOUI, latifa
701
$a
Array
801 0
$a
DZ
$b
CERIST PNST
901
$a
c