---
res:
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Felix Paul
      foaf_name: Jentzsch, Felix Paul
      foaf_surname: Jentzsch
  dct_date: 2018^xs_gYear
  dct_language: eng
  dct_publisher: Universität Paderborn@
  dct_subject:
  - Approximate Computing
  - Proof-Carrying Hardware
  - Formal Verification
  dct_title: Enforcing IP Core Connection Properties with Verifiable Security Monitors@
...