name:
Seidl: Functional Programming and Verification (21.12.2018)
recorded:
Fri Dec 21 08:29:53 CET 2018
length:
89:31 min.
Overview