---
res:
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Adriano
      foaf_name: Torres, Adriano
      foaf_surname: Torres
  - foaf_Person:
      foaf_givenName: Pedro
      foaf_name: Costa, Pedro
      foaf_surname: Costa
  - foaf_Person:
      foaf_givenName: Luis
      foaf_name: Amaral, Luis
      foaf_surname: Amaral
  - foaf_Person:
      foaf_givenName: Jonata
      foaf_name: Pastro, Jonata
      foaf_surname: Pastro
  - foaf_Person:
      foaf_givenName: Rodrigo
      foaf_name: Bonifácio, Rodrigo
      foaf_surname: Bonifácio
  - foaf_Person:
      foaf_givenName: Marcelo
      foaf_name: d'Amorim, Marcelo
      foaf_surname: d'Amorim
  - foaf_Person:
      foaf_givenName: Owolabi
      foaf_name: Legunsen, Owolabi
      foaf_surname: Legunsen
  - 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
  - foaf_Person:
      foaf_givenName: Edna
      foaf_name: Dias Canedo, Edna
      foaf_surname: Dias Canedo
  bibo_doi: 10.1109/tse.2023.3301660
  bibo_issue: '10'
  bibo_volume: 49
  dct_date: 2023^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/0098-5589
  - http://id.crossref.org/issn/1939-3520
  - http://id.crossref.org/issn/2326-3881
  dct_language: eng
  dct_publisher: Institute of Electrical and Electronics Engineers (IEEE)@
  dct_subject:
  - Software
  dct_title: 'Runtime Verification of Crypto APIs: An Empirical Study@'
...