Main Index
name:
Seidl: Functional Programming and Verification (18.01.2019)
recorded:
Fri Jan 18 08:29:47 CET 2019
length:
90:37 min.
#1:
00:00 min.
#2:
26:58 min.
#3:
42:21 min.
#4:
43:34 min.
#5:
58:27 min.
#6:
67:57 min.
#7:
69:34 min.