Verification and formal methods (Verif)

Faculty of Sciences | Computer Science

(Code: ULB512)

Skills of the unit :

► Expertise in the design of reliable computer systems