Main Index
name:
Seidl: Functional Programming and Verification (07.12.2018)
recorded:
Fri Dec 07 08:44:42 CET 2018
length:
76:45 min.
#1:
00:00 min.
#2:
00:39 min.
#3:
03:05 min.
#4:
08:13 min.
#5:
12:03 min.
#6:
24:11 min.
#7:
36:42 min.
#8:
46:22 min.
#9:
47:39 min.
#10:
48:04 min.
#11:
53:26 min.
#12:
53:58 min.
#13:
54:17 min.
#14:
55:40 min.
#15:
56:15 min.
#16:
62:49 min.
#17:
72:57 min.