Main Index
name:
Seidl: Functional Programming and Verification (01.02.2019)
recorded:
Fri Feb 01 08:42:43 CET 2019
length:
71:34 min.
#1:
00:00 min.
#2:
00:10 min.
#3:
00:25 min.
#4:
01:13 min.
#5:
16:49 min.
#6:
18:44 min.
#7:
24:19 min.
#8:
24:37 min.
#9:
30:43 min.
#10:
32:03 min.
#11:
34:14 min.
#12:
34:31 min.
#13:
37:13 min.
#14:
38:26 min.
#15:
53:46 min.
#16:
56:38 min.
#17:
57:37 min.
#18:
58:07 min.
#19:
59:13 min.
#20:
65:19 min.
#21:
70:57 min.
#22:
71:18 min.