name:
Seidl: Functional Programming and Verification (07.12.2018)
recorded:
Fri Dec 07 08:44:42 CET 2018
length:
76:45 min.
Overview