TimeEdit - IT-Universitetet i København Program Verification, MSc, KSPRVER1KU 06.05.2024 - 12.05.2024 w19 w19-w19 Wed w19 08.05.2024 12:00 - 14:00 Program Verification, BSc. BSPRVER1KU, Program Verification, MSc. KSPRVER1KU, Jesper Andreas Bengtson, 2F14, CS - 1st year, SWU 2nd year, SWU 3rd year, Elective, Lecture, 14:00 - 16:00 Program Verification, BSc. BSPRVER1KU, Program Verification, MSc. KSPRVER1KU, Jesper Andreas Bengtson, 2F14, CS - 1st year, SWU 2nd year, SWU 3rd year, Elective, Exercises,