TimeEdit - IT-Universitetet i København Program Verification, MSc, KSPRVER1KU 08.06.2024 - 09.06.2024