Microsoft Research
Microsoft Translator |
It's Doomed; We Can Prove It

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

In  Formal Methods (FM 2009)

Publisher  Springer

Details

TypeInproceedings
Pages338-353
Volume5850
SeriesLNCS
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > It's Doomed; We Can Prove It