Main Index
name: Seidl: Functional Programming and Verification (16.11.2018)
recorded: Fri Nov 16 08:30:08 CET 2018
length: 90:10 min.

#1: 00:00 min.
#2: 53:18 min.
#3: 53:45 min.
#4: 68:58 min.
#5: 69:21 min.
#6: 73:06 min.
#7: 73:40 min.