--- res: bibo_authorlist: - foaf_Person: foaf_givenName: Philipp foaf_name: Schubert, Philipp foaf_surname: Schubert foaf_workInfoHomepage: http://www.librecat.org/personId=60543 orcid: 0000-0002-8674-1859 - foaf_Person: foaf_givenName: Ben foaf_name: Hermann, Ben foaf_surname: Hermann foaf_workInfoHomepage: http://www.librecat.org/personId=66173 orcid: 0000-0001-9848-2017 - foaf_Person: foaf_givenName: Eric foaf_name: Bodden, Eric foaf_surname: Bodden foaf_workInfoHomepage: http://www.librecat.org/personId=59256 orcid: 0000-0003-3470-3647 bibo_doi: 10.1007/978-3-030-17465-1_22 bibo_volume: II dct_date: 2019^xs_gYear dct_language: eng dct_title: 'PhASAR: An Inter-Procedural Static Analysis Framework for C/C++@' ...