name:
Seidl: Functional Programming and Verification (02.11.2018)
recorded:
Fri Nov 02 08:30:10 CET 2018
length:
91:02 min.
Overview