BELHADJ Abderrahim
Contact
Fr
FSA
Fr
Home
Teaching
Research
Contact
BELHADJ Abderrahim
Research
Scientific production
Research subjects
4
Publications
114
Books
2
Talks
2
Theses
2
Supervised theses
28
Thesis committee
4
Projects
4
Brevets
3
Congresses
9
Scientific visits
6
A. Belhadj
Research
Research subjects
Research subject
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
Scientific production
Research subjects
4
Publications
114
Books
2
Talks
2
Theses
2
Supervised theses
28
Thesis committee
4
Projects
4
Brevets
3
Congresses
9
Scientific visits
6
Error
×
A problem has occured. Please try again or contact the application's admin.
OK