name:
Seidl: Functional Programming and Verification (14.12.2018)
recorded:
Fri Dec 14 08:33:46 CET 2018
length:
85:56 min.
Overview