Main Index
name:
Seidl: Functional Programming and Verification (23.11.2018)
recorded:
Fri Nov 23 08:29:55 CET 2018
length:
88:35 min.
#1:
00:00 min.
#2:
19:11 min.
#3:
37:32 min.
#4:
39:59 min.
#5:
45:12 min.
#6:
49:00 min.
#7:
52:04 min.
#8:
63:47 min.
#9:
66:30 min.
#10:
68:21 min.
#11:
69:00 min.
#12:
73:45 min.
#13:
74:11 min.
#14:
74:52 min.