MODELE D'ARTICLE ISDM - Université de Toulon

des techniques classiques de conception, de débogage et de test dans ... vérification d'un algorithme de récupération de mémoire (Garbage ...

DEPARTEMENT D'INFORMATIQUE THESE - ENSTA Bretagne |