Deductive Verification of Legacy Code

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert, Thorsten Bormer und Daniel Grahl
In:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016)
Verleger:Springer
Reihe:LNCS 9952
Band:Part I: Foundational Techniques editor = Tiziana Margaria and Bernhard Steffen
Jahr:2016
Seiten:749-765
URL:http://dx.doi.org/10.1007/978-3-319-47166-2_53
DOI:10.1007/978-3-319-47166-2_53

BibTeX

@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       = {Part 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}
}