TimeEdit - IT-Universitetet i København
Program Verification, BSc, BSPRVER1KU 11.06.2024 - 16.06.2024  
     Thu w24 13.06.2024 
     09:00 - 13:10 Program Verification, BSc. BSPRVER1KU, Program Verification, MSc. KSPRVER1KU,  Hans Hüttel, Jesper Andreas Bengtson, Willard Rafnsson,  CS - 1st year, SWU 2nd year, SWU 3rd year,  ,  Ordinary Exam,