Les projets de recherche sont terminés. Les coordonnées de la personne ne sont plus disponibles.
P6/39: Questions fondamentales en génie logiciel: modélisation, vérification et évolution de logiciel (coordinateur du projet)