@inproceedings{DBLP:conf/vstte/BertoliniSS12,
author = {Cristiano Bertolini and
Martin Sch{\"{a}}f and
Pascal Schweitzer},
title = {Infeasible Code Detection},
booktitle = {Verified Software: Theories, Tools, Experiments - 4th International
Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
Proceedings},
pages = {310--325},
year = {2012},
crossref = {DBLP:conf/vstte/2012},
url = {https://doi.org/10.1007/978-3-642-27705-4\_24},
doi = {10.1007/978-3-642-27705-4\_24},
timestamp = {Tue, 23 May 2017 01:06:28 +0200},
biburl = {https://dblp.org/rec/bib/conf/vstte/BertoliniSS12},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2012,
editor = {Rajeev Joshi and
Peter M{\"{u}}ller and
Andreas Podelski},
title = {Verified Software: Theories, Tools, Experiments - 4th International
Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7152},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27705-4},
doi = {10.1007/978-3-642-27705-4},
isbn = {978-3-642-27704-7},
timestamp = {Tue, 23 May 2017 01:06:27 +0200},
biburl = {https://dblp.org/rec/bib/conf/vstte/2012},
bibsource = {dblp computer science bibliography, https://dblp.org}
}