Main Index
name:
Seidl: Functional Programming and Verification (19.10.2018)
recorded:
Fri Oct 19 08:38:50 CEST 2018
length:
62:04 min.
#1:
00:00 min.
#2:
61:02 min.