VETRO Calogero
Contact
Fr
FSA
Fr
Home
Teaching
Research
Contact
VETRO Calogero
Research
Scientific production
Research subjects
2
Publications
110
Books
5
Talks
1
Theses
2
Supervised theses
12
Thesis committee
4
Congresses
5
Scientific visits
1
C. Vetro
Research
Stages
Stages
Stage: Analyse statique modulaire precise par interpretation abstraite pour la preuve automatique de correction de programmes.
Université de Corse Pascal Paoli, 2005, 01-30 Juin
Scientific production
Research subjects
2
Publications
110
Books
5
Talks
1
Theses
2
Supervised theses
12
Thesis committee
4
Congresses
5
Scientific visits
1
Error
×
A problem has occured. Please try again or contact the application's admin.
OK