MOVES: Fundamental Issues in Modelling, Verification and Evolution of Software

Units : Verification and formal methods | ULB512

Description :

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

List of persons in charge :

  • MASSART Thierry

  • RASKIN Jean-François

List of lessors :

  • PAI