Adding Change Impact Analysis to the Formal Verification of C Programs<pre>@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},
}
</pre>