Teaching

Course number Course name Type Latest/upcoming Semester TISS link
185291 Formal Methods in Computer Science VU 2023S