--- res: bibo_authorlist: - foaf_Person: foaf_givenName: Mohamed foaf_name: Seghir,Mohamed Nassim foaf_surname: Seghir - foaf_Person: foaf_givenName: Andreas foaf_name: Podelski,Andreas foaf_surname: Podelski - 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: '1556' dct_date: 2009^xs_gYear dct_publisher: Springer@ dct_title: Abstraction Refinement for Quantified Array Assertions@ ...