[{"conference":{"name":"FM: Formal Methods"},"date_published":"2009-01-01T00:00:00Z","citation":{"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.","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., & Wies, T. (2009). It’s Doomed; We Can Prove It (pp. 338–353). Presented at the FM: Formal Methods, Springer. https://doi.org/1557","mla":"Hoenicke, Jochen, et al. It’s Doomed; We Can Prove It. Springer, 2009, pp. 338–53, doi:1557.","short":"J. Hoenicke, K.R. Leino, A. Podelski, M. Schäf, T. Wies, in:, Springer, 2009, pp. 338–353.","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. https://doi.org/1557."},"quality_controlled":0,"page":"338 - 353","month":"01","day":"01","uri_base":"https://research-explorer.ista.ac.at","dc":{"date":["2009"],"source":["Hoenicke J, Leino KR, Podelski A, Schäf M, Wies T. It’s Doomed; We Can Prove It. In: Springer; 2009:338-353. doi:1557"],"rights":["info:eu-repo/semantics/closedAccess"],"relation":["info:eu-repo/semantics/altIdentifier/doi/1557"],"publisher":["Springer"],"title":["It's Doomed; We Can Prove It","LNCS 5850"],"creator":["Hoenicke,Jochen","Leino, K Rustan","Podelski,Andreas","Schäf,Martin","Thomas Wies"],"type":["info:eu-repo/semantics/conferenceObject","doc-type:conferenceObject","text","http://purl.org/coar/resource_type/c_5794"],"identifier":["https://research-explorer.ista.ac.at/record/4377"]},"author":[{"first_name":"Jochen","last_name":"Hoenicke"},{"last_name":"Leino","first_name":"K Rustan"},{"first_name":"Andreas","last_name":"Podelski"},{"last_name":"Schäf","first_name":"Martin"},{"id":"447BFB88-F248-11E8-B48F-1D18A9856A87","last_name":"Wies","first_name":"Thomas"}],"dini_type":"doc-type:conferenceObject","date_updated":"2021-01-12T07:56:31Z","date_created":"2018-12-11T12:08:32Z","_id":"4377","status":"public","publication_status":"published","publist_id":"1079","extern":1,"type":"conference","alternative_title":[]}]