Deductive Verification of Legacy Code

@inproceedings{BeckertBormerGrahl2016,
  author       = {Bernhard Beckert and Thorsten Bormer and Daniel Grahl},
  title        = {Deductive Verification of Legacy Code},
  booktitle    = {7th International Symposium on Leveraging
                  Applications of Formal Methods, Verification and Validation
                  (ISoLA 2016)},
  volume       = {I: Foundational Techniques},
  editor       = {Tiziana Margaria and Bernhard Steffen},
  publisher    = {Springer},
  series       = {LNCS 9952},
  pages        = {749--765},
  year         = {2016},
  month        = oct,
  url          = {http://dx.doi.org/10.1007/978-3-319-47166-2_53},
  doi          = {10.1007/978-3-319-47166-2_53}
}