It's Doomed; We Can Prove It.

Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schf, Thomas Wies

Browse the full FM paper archive.