@book{giacobbeai,
  title={AI Verification},
  subtitle={Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21–22, 2025, Proceedings},
  author={Giacobbe, Mirco and Lukina, Anna},
  publisher={Springer},
  url_doi={https://doi.org/10.1007/978-3-031-99991-8},
  year={2025}
}

{"_id":"Agi38PTL77Wpnjg66","bibbaseid":"giacobbe-lukina-aiverification-2025","author_short":["Giacobbe, M.","Lukina, A."],"bibdata":{"bibtype":"book","type":"book","title":"AI Verification","subtitle":"Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21–22, 2025, Proceedings","author":[{"propositions":[],"lastnames":["Giacobbe"],"firstnames":["Mirco"],"suffixes":[]},{"propositions":[],"lastnames":["Lukina"],"firstnames":["Anna"],"suffixes":[]}],"publisher":"Springer","url_doi":"https://doi.org/10.1007/978-3-031-99991-8","year":"2025","bibtex":"@book{giacobbeai,\n title={AI Verification},\n subtitle={Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21–22, 2025, Proceedings},\n author={Giacobbe, Mirco and Lukina, Anna},\n publisher={Springer},\n url_doi={https://doi.org/10.1007/978-3-031-99991-8},\n year={2025}\n}\n","author_short":["Giacobbe, M.","Lukina, A."],"key":"giacobbeai","id":"giacobbeai","bibbaseid":"giacobbe-lukina-aiverification-2025","role":"author","urls":{" doi":"https://doi.org/10.1007/978-3-031-99991-8"},"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"https://bibbase.org/f/DgyM42HZeFuMuoqny/uploaded.bib","dataSources":["zKJJFNb8JGPdNpeGG","WEznGv8jDoFee2dzG"],"keywords":[],"search_terms":["verification","giacobbe","lukina"],"title":"AI Verification","year":2025}