BELHADJ Abderrahim
Contact
En
FSA
En
Accueil
Enseignement
Recherche
Contact
BELHADJ Abderrahim
Recherche
Production scientifique
Sujets de recherche
4
Publications
114
Ouvrages
2
Communications
2
Thèses
2
Thèses encadrées
28
Jury de thèse
4
Projets
4
Brevets
3
Congrès
9
Visites scientifiques
6
A. Belhadj
Recherche
Sujets de recherche
Sujet de recherche
Sujet de recherche: Analyse statique modulaire precise par interpretation abstraite pour la preuve automatique de correction de programmes.
rabitur in libero ut massa volutpat convallis morbi odio odio elementum eu interdum eu tincidunt in leo maecenas
Production scientifique
Sujets de recherche
4
Publications
114
Ouvrages
2
Communications
2
Thèses
2
Thèses encadrées
28
Jury de thèse
4
Projets
4
Brevets
3
Congrès
9
Visites scientifiques
6
Erreur
×
Un problème est survenu. Veuillez réessayer ou contacter l'administrateur de l'application.
OK