Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies. Doomed program points. Formal Methods in System Design, 37(2-3):171-199, 2010. [doi]
@article{HoenickeLPSW10, title = {Doomed program points}, author = {Jochen Hoenicke and K. Rustan M. Leino and Andreas Podelski and Martin Schäf and Thomas Wies}, year = {2010}, doi = {10.1007/s10703-010-0102-0}, url = {http://dx.doi.org/10.1007/s10703-010-0102-0}, researchr = {https://researchr.org/publication/HoenickeLPSW10}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {37}, number = {2-3}, pages = {171-199}, }