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.