name: Seidl: Functional Programming and Verification (30.11.2018)
recorded: Fri Nov 30 08:34:40 CET 2018
length: 85:59 min.

Overview