TimeEdit - IT-Universitetet i København Program Verification, BSc, BSPRVER1KU 05.06.2024 - 09.06.2024