Inventaire
Site en anglais

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