--- res: bibo_authorlist: - foaf_Person: foaf_givenName: Heike foaf_name: Wehrheim, Heike foaf_surname: Wehrheim foaf_workInfoHomepage: http://www.librecat.org/personId=573 - foaf_Person: foaf_givenName: Oleg foaf_name: Travkin, Oleg foaf_surname: Travkin bibo_doi: 10.1007/978-3-319-26287-1_7 dct_date: 2015^xs_gYear dct_title: '{TSO} to {SC} via Symbolic Execution@' ...