Program Verification, MSc, KSPRVER1KU
w16
8
9
10
11
12
13
14
15
16
17
Mon Apr 15
w16
8
9
10
11
12
13
14
15
16
17
Tue Apr 16
w16
8
9
10
11
12
13
14
15
16
17
Wed Apr 17
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
w16
8
9
10
11
12
13
14
15
16
17
Thu Apr 18
w16
8
9
10
11
12
13
14
15
16
17
Fri Apr 19