Adding Change Impact Analysis to the Formal Verification of C Programs

@inproceedings{pub4919,
    author = {

Autexier, Serge
 and 

Lüth, Christoph
},
    editor = {

Méry, Dominique
 and 

Merz, Stephan
},
    title = {Adding Change Impact Analysis to the Formal Verification of C Programs},
    booktitle = {Proceedings 8th International Conference on Integrated Formal Methods (iFM 2010). International Conference on Integrated Formal Methods (IFM-2010), October 11-14, Nancy, France},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2010},
    month = {10},
    volume = {6396},
    pages = {59--73},
    publisher = {Springer}
}