Inventaire


Site en anglais

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