w19
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
Mon 6.5
w19
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
Tue 7.5
w19
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
Wed 8.5
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
12:00
Program Verification, BSc, BSPRVER1KU, Program Verification, MSc, KSPRVER1KU, Jesper Andreas Bengtson, 2F14, CS - 1st year, SWU 2nd year, SWU 3rd year, Elective, Exercises
16:00
14:00
w19
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
Thu 9.5
w19
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
Fri 10.5