name:
Seidl: Functional Programming and Verification (01.02.2019)
recorded:
Fri Feb 01 08:42:43 CET 2019
length:
71:34 min.
Overview