@phdthesis{Lathouwers23,
  title = "Exploring annotations for deductive verification",
  author = "Sophie Lathouwers",
  year = "2023",
  month = oct,
  day = "17",
  doi = "10.3990/1.9789036558464",
  isbn = "978-90-365-5845-7",
  series = "DSI Ph.D. Thesis Series",
  publisher = "University of Twente",
  number = "23-009",
  address = "Netherlands",
  school = "University of Twente",
  url={https://research.utwente.nl/files/320453422/Dissertation-Lathouwers-with-cover-and-clickable-links.pdf}
}

{"_id":"o8P43XBXNDmvwiPLa","bibbaseid":"lathouwers-exploringannotationsfordeductiveverification-2023","author_short":["Lathouwers, S."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","title":"Exploring annotations for deductive verification","author":[{"firstnames":["Sophie"],"propositions":[],"lastnames":["Lathouwers"],"suffixes":[]}],"year":"2023","month":"October","day":"17","doi":"10.3990/1.9789036558464","isbn":"978-90-365-5845-7","series":"DSI Ph.D. Thesis Series","publisher":"University of Twente","number":"23-009","address":"Netherlands","school":"University of Twente","url":"https://research.utwente.nl/files/320453422/Dissertation-Lathouwers-with-cover-and-clickable-links.pdf","bibtex":"@phdthesis{Lathouwers23,\n title = \"Exploring annotations for deductive verification\",\n author = \"Sophie Lathouwers\",\n year = \"2023\",\n month = oct,\n day = \"17\",\n doi = \"10.3990/1.9789036558464\",\n isbn = \"978-90-365-5845-7\",\n series = \"DSI Ph.D. Thesis Series\",\n publisher = \"University of Twente\",\n number = \"23-009\",\n address = \"Netherlands\",\n school = \"University of Twente\",\n url={https://research.utwente.nl/files/320453422/Dissertation-Lathouwers-with-cover-and-clickable-links.pdf}\n}\n\n","author_short":["Lathouwers, S."],"key":"Lathouwers23","id":"Lathouwers23","bibbaseid":"lathouwers-exploringannotationsfordeductiveverification-2023","role":"author","urls":{"Paper":"https://research.utwente.nl/files/320453422/Dissertation-Lathouwers-with-cover-and-clickable-links.pdf"},"metadata":{"authorlinks":{}},"downloads":3,"html":""},"bibtype":"phdthesis","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","dataSources":["cCvCnPTRQYq3qPe9y"],"keywords":[],"search_terms":["exploring","annotations","deductive","verification","lathouwers"],"title":"Exploring annotations for deductive verification","year":2023,"downloads":3}