"An Experimental Evaluation of Deliberate Unsoundness in a Static Program ..."

Maria Christakis, Peter Müller, Valentin Wüstholz (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics