"Automating regression verification of pointer programs by predicate ..."

Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics