• Institution : Centre de recherche INRIA Futurs, LIFL - INRIA Jacquard Project

Les projets de recherche sont terminés. Les coordonnées de la personne ne sont plus disponibles.

Projets :

P6/39: Questions fondamentales en génie logiciel: modélisation, vérification et évolution de logiciel