Main Index
name:
Seidl: Functional Programming and Verification (02.11.2018)
recorded:
Fri Nov 02 08:30:10 CET 2018
length:
91:02 min.
#1:
00:00 min.
#2:
10:46 min.
#3:
21:59 min.
#4:
22:38 min.
#5:
51:20 min.
#6:
52:04 min.
#7:
59:03 min.
#8:
60:18 min.
#9:
60:58 min.
#10:
61:45 min.
#11:
62:09 min.
#12:
62:28 min.
#13:
62:49 min.
#14:
63:46 min.
#15:
64:46 min.
#16:
67:04 min.
#17:
67:18 min.
#18:
68:23 min.
#19:
69:04 min.
#20:
77:18 min.
#21:
78:08 min.
#22:
82:33 min.
#23:
82:48 min.
#24:
84:08 min.
#25:
84:20 min.
#26:
85:31 min.
#27:
87:45 min.
#28:
89:17 min.