![](/img/cover-not-exists.png)
Doomed program points
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas WiesVolume:
37
Language:
english
Pages:
29
DOI:
10.1007/s10703-010-0102-0
Date:
December, 2010
File:
PDF, 684 KB
english, 2010