La recherche à l'ULB ⤶	Description de l'Unité	Projets de l'Unité	Composition
Collaborations de l'Unité	Technologies protégées	Publications	Compétences

Méthodes formelles et vérification (Verif)

Faculté des Sciences | Informatique

FILIOT Emmanuel

VAN BEGIN Laurent

GEERAERTS Gilles

SERVAIS Frédéric

HERNALSTEEN Christian

MASSART Thierry J.

MASSART Thierry

RASKIN Jean-François