{"_id":"4377","year":"2009","title":"It's Doomed; We Can Prove It","date_published":"2009-01-01T00:00:00Z","alternative_title":["LNCS 5850"],"month":"01","date_updated":"2021-01-12T07:56:31Z","doi":"1557","author":[{"last_name":"Hoenicke","first_name":"Jochen","full_name":"Hoenicke,Jochen"},{"last_name":"Leino","first_name":"K Rustan","full_name":"Leino, K Rustan"},{"full_name":"Podelski,Andreas","first_name":"Andreas","last_name":"Podelski"},{"first_name":"Martin","full_name":"Schäf,Martin","last_name":"Schäf"},{"last_name":"Wies","first_name":"Thomas","id":"447BFB88-F248-11E8-B48F-1D18A9856A87","full_name":"Thomas Wies"}],"date_created":"2018-12-11T12:08:32Z","conference":{"name":"FM: Formal Methods"},"quality_controlled":0,"type":"conference","status":"public","citation":{"chicago":"Hoenicke, Jochen, K Rustan Leino, Andreas Podelski, Martin Schäf, and Thomas Wies. “It’s Doomed; We Can Prove It,” 338–53. Springer, 2009. <a href=\"https://doi.org/1557\">https://doi.org/1557</a>.","short":"J. Hoenicke, K.R. Leino, A. Podelski, M. Schäf, T. Wies, in:, Springer, 2009, pp. 338–353.","mla":"Hoenicke, Jochen, et al. <i>It’s Doomed; We Can Prove It</i>. Springer, 2009, pp. 338–53, doi:<a href=\"https://doi.org/1557\">1557</a>.","ieee":"J. Hoenicke, K. R. Leino, A. Podelski, M. Schäf, and T. Wies, “It’s Doomed; We Can Prove It,” presented at the FM: Formal Methods, 2009, pp. 338–353.","apa":"Hoenicke, J., Leino, K. R., Podelski, A., Schäf, M., &#38; Wies, T. (2009). It’s Doomed; We Can Prove It (pp. 338–353). Presented at the FM: Formal Methods, Springer. <a href=\"https://doi.org/1557\">https://doi.org/1557</a>","ista":"Hoenicke J, Leino KR, Podelski A, Schäf M, Wies T. 2009. It’s Doomed; We Can Prove It. FM: Formal Methods, LNCS 5850, , 338–353.","ama":"Hoenicke J, Leino KR, Podelski A, Schäf M, Wies T. It’s Doomed; We Can Prove It. In: Springer; 2009:338-353. doi:<a href=\"https://doi.org/1557\">1557</a>"},"publication_status":"published","publist_id":"1079","page":"338 - 353","publisher":"Springer","day":"01","extern":1}