Future SOC - Lab Day (Spring 2015) Session 2 Reliable Benchmarking of Software Verification in the Cloud

Reliable Benchmarking of Software Verification in the Cloud

Part of the series Future SOC - Lab Day (Spring 2015)
Reliable Benchmarking of Software Verification in the Cloud Philipp Wendler

Date: April 15, 2015
Language: English
Duration: 00:26:42
Copy link to current video position
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