"DC2: A framework for scalable, scope-bounded software verification."

Franjo Ivancic et al. (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics