![](/img/cover-not-exists.png)
Automating regression verification of pointer programs by predicate abstraction
Klebanov, Vladimir, Rümmer, Philipp, Ulbrich, MattiasLanguage:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-017-0293-8
Date:
August, 2017
File:
PDF, 956 KB
english, 2017