Thèse nationale
Analyse statique de programmes concurrents avec variables numériques
Analyse statique de programmes concurrents avec variables numériques
Université Ibn Khaldoun
Date de soutenance: 29-01-2016
Encadrant
MOUHSINE Najat