Méthodes formelles et vérification (Verif)

Faculté des Sciences | Informatique

(Code: ULB512)

Compétences de l'unité :

► Expertise dans la conception de systèmes informatique fiables