name:
Seidl: Functional Programming and Verification (25.01.2019)
recorded:
Fri Jan 25 08:31:19 CET 2019
length:
88:24 min.
Overview