Paper  doi  bibtex   4 downloads  

@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}
}