"Towards Bounded Infeasible Code Detection"

Jürgen Christ, Jochen Hoenicke, Martin Schäf (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics