Main Index
name:
Seidl: Functional Programming and Verification (25.01.2019)
recorded:
Fri Jan 25 08:31:19 CET 2019
length:
88:24 min.
#1:
00:00 min.
#2:
04:38 min.
#3:
37:23 min.
#4:
38:28 min.
#5:
47:12 min.
#6:
49:54 min.
#7:
50:55 min.
#8:
51:56 min.
#9:
53:02 min.
#10:
56:31 min.
#11:
65:49 min.
#12:
75:42 min.
#13:
77:13 min.
#14:
77:27 min.
#15:
78:15 min.
#16:
80:34 min.
#17:
81:01 min.