--- res: bibo_authorlist: - foaf_Person: foaf_givenName: Jochen foaf_name: Hoenicke,Jochen foaf_surname: Hoenicke - foaf_Person: foaf_givenName: K Rustan foaf_name: Leino, K Rustan foaf_surname: Leino - foaf_Person: foaf_givenName: Andreas foaf_name: Podelski,Andreas foaf_surname: Podelski - foaf_Person: foaf_givenName: Martin foaf_name: Schäf,Martin foaf_surname: Schäf - foaf_Person: foaf_givenName: Thomas foaf_name: Thomas Wies foaf_surname: Wies foaf_workInfoHomepage: http://www.librecat.org/personId=447BFB88-F248-11E8-B48F-1D18A9856A87 bibo_doi: '1557' dct_date: 2009^xs_gYear dct_publisher: Springer@ dct_title: It's Doomed; We Can Prove It@ ...