Main Index
name:
Seidl: Functional Programming and Verification (21.12.2018)
recorded:
Fri Dec 21 08:29:53 CET 2018
length:
89:31 min.
#1:
00:00 min.
#2:
03:11 min.
#3:
10:53 min.
#4:
12:20 min.
#5:
13:00 min.
#6:
14:44 min.
#7:
15:17 min.
#8:
21:41 min.
#9:
24:32 min.
#10:
25:16 min.
#11:
27:28 min.
#12:
29:34 min.
#13:
34:02 min.
#14:
40:09 min.
#15:
42:12 min.
#16:
43:00 min.
#17:
43:15 min.
#18:
43:48 min.
#19:
44:17 min.
#20:
45:04 min.
#21:
45:58 min.
#22:
46:23 min.
#23:
48:03 min.
#24:
48:39 min.
#25:
49:05 min.
#26:
51:03 min.
#27:
51:15 min.
#28:
57:49 min.
#29:
61:12 min.
#30:
74:04 min.
#31:
74:33 min.
#32:
81:06 min.
#33:
81:47 min.