Main Index
name:
Seidl: Functional Programming and Verification (08.02.2019)
recorded:
Fri Feb 08 08:29:31 CET 2019
length:
67:30 min.
#1:
00:00 min.
#2:
05:13 min.
#3:
08:42 min.
#4:
09:36 min.
#5:
13:57 min.
#6:
19:58 min.
#7:
23:50 min.
#8:
30:03 min.
#9:
31:22 min.
#10:
34:30 min.
#11:
35:48 min.
#12:
37:44 min.
#13:
39:51 min.
#14:
45:34 min.
#15:
59:59 min.
#16:
64:28 min.