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

Serge Autexier, Christoph Lth

Browse the full IFM paper archive.