"Towards Bounded Infeasible Code Detection"

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