Main Index
name:
Seidl: Functional Programming and Verification (09.11.2018)
recorded:
Fri Nov 09 08:30:13 CET 2018
length:
90:20 min.
#1:
00:00 min.
#2:
15:05 min.
#3:
47:08 min.
#4:
56:59 min.
#5:
62:52 min.
#6:
79:34 min.