Main Index
name:
Seidl: Functional Programming and Verification (14.12.2018)
recorded:
Fri Dec 14 08:33:46 CET 2018
length:
85:56 min.
#1:
00:00 min.
#2:
04:34 min.
#3:
11:23 min.
#4:
17:56 min.
#5:
20:34 min.
#6:
29:14 min.
#7:
37:33 min.
#8:
41:06 min.
#9:
46:55 min.
#10:
47:48 min.
#11:
48:14 min.
#12:
49:32 min.
#13:
50:48 min.
#14:
69:29 min.
#15:
71:46 min.
#16:
84:14 min.
#17:
85:48 min.