Inventaire
Site en français

Verification and formal methods (Verif)

Faculty of Sciences | Computer Science

(Code: ULB512)



Skills of the unit :


► Expertise in the design of reliable computer systems