TimeEdit - IT-Universitetet i København Program Verification, MSc, KSPRVER1KU 19.06.2024 - 23.06.2024