MOVES: modélisation, vérification et évolution de logiciel

Unité : Méthodes formelles et vérification | ULB512

Description :

Voir http://moves.vub.ac.be/ 

Liste des responsables :

  • MASSART Thierry

  • RASKIN Jean-François

Liste des bailleurs :

  • PAI