Adding Change Impact Analysis to the Formal Verification of C Programs
@inproceedings{AL-10-a, author = {Serge Autexier and Christoph L\"uth}, editor = {Dominique M\'ery and Stephan Merz }, booktitle = {Proceedings 8th International Conference on integrated Formal Methods (IFM2010)}, title = {Adding Change Impact Analysis to the Formal Verification of C Programs}, series = {LNCS}, publisher = {Springer}, address = {Nancy, France}, month = {october}, year = {2010}, }