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.