• Institution : Université Libre de Bruxelles, Computer Sciences Department Research Group in Formal Methods and Verification
• Langue : Français

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