name:
Seidl: Functional Programming and Verification (19.10.2018)
recorded:
Fri Oct 19 08:38:50 CEST 2018
length:
62:04 min.
Overview