"Adding Change Impact Analysis to the Formal Verification of C Programs."

Serge Autexier, Christoph Lüth (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics