Verification and formal methods (Verif)

Faculty of Sciences | Computer Science

(Code: ULB512)

This unit does not have any protected technologies for the moment.