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