
Précédent : Thèses Remonter : Thèses Suivant :
Diffusion de logiciels
Le projet a accueilli les stagiaires suivants :
- Mouloud Bourbel. (coencadré avec Eric Madelaine du projet
MEIJE),
« Environnement interactif de développement de preuves pour des
langages parallèles », DEA d'Informatique Lyonnais (DIL), 4
mois.
- Sylvain Lippi. (coencadré avec Denis Caromel du projet
SLOOP) « Modélisation et preuve d'équivalence de programmes
Eiffel// en TLA », DEA Université de Marseille Luminy, 3
mois.