Adding Change Impact Analysis to the Formal Verification of C Programs
@inproceedings{AL-10-a,
  author        = {Serge Autexier and Christoph Lüth},
  editor        = {Dominique Méry 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},
}