It's Doomed; We Can Prove It

In  Formal Methods (FM 2009)

Publisher  Springer

Details

TypeInproceedings
Pages338-353
Volume5850
SeriesLNCS
> Publications > It's Doomed; We Can Prove It