---
res:
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Tobias
      foaf_name: Isenberg, Tobias
      foaf_surname: Isenberg
  - foaf_Person:
      foaf_givenName: Marie-Christine
      foaf_name: Jakobs, Marie-Christine
      foaf_surname: Jakobs
  - foaf_Person:
      foaf_givenName: Felix
      foaf_name: Pauck, Felix
      foaf_surname: Pauck
      foaf_workInfoHomepage: http://www.librecat.org/personId=22398
  - foaf_Person:
      foaf_givenName: Heike
      foaf_name: Wehrheim, Heike
      foaf_surname: Wehrheim
      foaf_workInfoHomepage: http://www.librecat.org/personId=573
  bibo_doi: 10.1007/978-3-030-31157-5_1
  dct_date: 2019^xs_gYear
  dct_language: eng
  dct_title: When Are Software Verification Results Valid for Approximate Hardware?@
...