Teaching

Course number Course name Type Latest/upcoming Semester TISS link
185291 Formal Methods in Computer Science VU 2023W
185A93 Formal Methods in Computer Science UE 2023W