Program Verification, MSc, KSPRVER1KU
w24
8
9
10
11
12
13
14
15
16
17
Mon 10.6
w24
8
9
10
11
12
13
14
15
16
17
Tue 11.6
w24
8
9
10
11
12
13
14
15
16
17
Wed 12.6
w24
8
9
10
11
12
13
14
15
16
17
Thu 13.6
Program Verification, BSc, BSPRVER1KU, Program Verification, MSc, KSPRVER1KU, Hans Hüttel, Jesper Andreas Bengtson, Willard Rafnsson, 2A20, CS - 1st year, SWU 2nd year, SWU 3rd year, Ordinary Exam
13:10
09:00
w24
8
9
10
11
12
13
14
15
16
17
Fri 14.6