Model Counting opens new doors for Program Analysis - a podcast by various lecturers

from 2014-10-23T16:00

:: ::

Further episodes of HPI Colloquium (WT 2014/15) - tele-TASK

Further podcasts by various lecturers

Website of various lecturers