VETRO Calogero
Contact
En
FSA
En
Accueil
Enseignement
Recherche
Contact
VETRO Calogero
Recherche
Production scientifique
Sujets de recherche
2
Publications
110
Ouvrages
5
Communications
1
Thèses
2
Thèses encadrées
12
Jury de thèse
4
Congrès
5
Visites scientifiques
1
C. Vetro
Recherche
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
Production scientifique
Sujets de recherche
2
Publications
110
Ouvrages
5
Communications
1
Thèses
2
Thèses encadrées
12
Jury de thèse
4
Congrès
5
Visites scientifiques
1
Erreur
×
Un problème est survenu. Veuillez réessayer ou contacter l'administrateur de l'application.
OK