CHNAFI Latifa
Contact
Fr
FSA
Fr
Home
Teaching
Research
Contact
CHNAFI Latifa
Research
Scientific production
Research subjects
2
Publications
102
Books
2
Theses
2
Supervised theses
17
Thesis committee
2
Projects
6
Congresses
10
Scientific visits
1
L. Chnafi
Research
Stages
Stages
Stage: ParTraP : un langage pour la specification et verification a l'execution de proprietes parametriques
Université d'Auvergne (Clermont-Ferrand I), 2004, 01-30 Juin
Scientific production
Research subjects
2
Publications
102
Books
2
Theses
2
Supervised theses
17
Thesis committee
2
Projects
6
Congresses
10
Scientific visits
1
Error
×
A problem has occured. Please try again or contact the application's admin.
OK