@inproceedings{DBLP:conf/fm/HoenickeLPSW09,
author = {Jochen Hoenicke and
K. Rustan M. Leino and
Andreas Podelski and
Martin Sch{\"{a}}f and
Thomas Wies},
title = {It's Doomed; We Can Prove It},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
pages = {338--353},
year = {2009},
crossref = {DBLP:conf/fm/2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_22},
doi = {10.1007/978-3-642-05089-3\_22},
timestamp = {Mon, 22 May 2017 17:11:19 +0200},
biburl = {https://dblp.org/rec/bib/conf/fm/HoenickeLPSW09},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2009,
editor = {Ana Cavalcanti and
Dennis Dams},
title = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3},
doi = {10.1007/978-3-642-05089-3},
isbn = {978-3-642-05088-6},
timestamp = {Mon, 22 May 2017 17:11:19 +0200},
biburl = {https://dblp.org/rec/bib/conf/fm/2009},
bibsource = {dblp computer science bibliography, https://dblp.org}
}