Main Index
name:
Seidl: Functional Programming and Verification (11.01.2019)
recorded:
Fri Jan 11 08:30:18 CET 2019
length:
90:21 min.
#1:
00:00 min.
#2:
24:10 min.
#3:
38:33 min.
#4:
42:56 min.
#5:
66:11 min.
#6:
72:53 min.
#7:
78:02 min.
#8:
79:27 min.
#9:
81:45 min.
#10:
84:20 min.
#11:
85:01 min.
#12:
86:09 min.