TimeEdit - IT-Universitetet i København Program Verification, MSc, KSPRVER1KU 25.04.2024 - 28.04.2024