Main Index
name:
Seidl: Functional Programming and Verification (30.11.2018)
recorded:
Fri Nov 30 08:34:40 CET 2018
length:
85:59 min.
#1:
00:00 min.
#2:
05:42 min.
#3:
29:40 min.
#4:
30:30 min.
#5:
32:35 min.
#6:
34:11 min.
#7:
34:38 min.
#8:
36:14 min.
#9:
45:16 min.
#10:
48:06 min.
#11:
53:10 min.
#12:
56:41 min.
#13:
61:04 min.
#14:
68:44 min.
#15:
73:19 min.
#16:
84:09 min.