name:
Seidl: Functional Programming and Verification (26.10.2018)
recorded:
Fri Oct 26 08:22:10 CEST 2018
length:
85:19 min.
Overview