Click here to try the alternative player if you are experiencing issues with this one.

Model Counting opens new doors for Program Analysis

Part of the series HPI Colloquium (WT 2014/15)
Model Counting opens new doors for Program Analysis Prof. Willem Visser

Date: October 23, 2014
Language: English
Duration: 00:50:56
tele-TASK now provides the ability to create playlists. You can create your own playlist based on this lecture or view playlists containing this lecture.
Show