TimeEdit - IT-Universitetet i København
Program Verification, MSc, KSPRVER1KU 07.05.2024 - 12.05.2024  
     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