Search within
Links
Our Events & News
  1. FSA
  2. Books
Habilitation thesis
Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes
Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes
A. Boualem
Université Ibn Khaldoun
Defence date: 29-11-2004
President
BELARBI Fatima-zahra
Protractor
HAJJI Khalid
Protractor
KORNITI Amine
Protractor
LAHLOU Youssef
Examiner
LATIF Jad
Jury member
BELLOUT Abderrahim