@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}
}
