National thesis
Analyse statique de programmes concurrents avec variables numériques
Analyse statique de programmes concurrents avec variables numériques
Université Ibn Khaldoun
Defence date: 29-01-2016
Supervisor
MOUHSINE Najat