Inventaire
ULB Research
⤶
Description of the Unit
Projects of the Unit
Composition
Collaborations of the Unit
Protected technologies
Publications
Skills
Verification and formal methods (Verif)
Faculty of Sciences | Computer Science
(Code: ULB512)
FILIOT Emmanuel
VAN BEGIN Laurent
GEERAERTS Gilles
SERVAIS Frédéric
HERNALSTEEN Christian
MASSART Thierry J.
MASSART Thierry
RASKIN Jean-François