Guided Static Analysis slides

Posted on Thu 22 October 2015 in tech • Tagged with static analysis, ethz, seminar, talk

Checkout the slides of my presentation about the Guided Static Analysis paper by Denis Gopan and Thomas Reps.


Continue reading