It's Doomed; We Can Prove It

Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, and Thomas Wies

Details

Publication typeInproceedings
Published inFormal Methods (FM 2009)
Pages338-353
Volume5850
SeriesLNCS
PublisherSpringer
> Publications > It's Doomed; We Can Prove It