@misc{https://doi.org/10.4121/9c83933e-8406-4e49-ac4d-1f8bb55ed988.v1,
  doi = {10.4121/9c83933e-8406-4e49-ac4d-1f8bb55ed988.v1},
  url = {},
  author = {Lathouwers, Sophie and Huisman, Marieke},
  keywords = {Deductive verification, Specifications, Annotations, Specification inference, Specification generation},
  title = {Evaluation of Specification Inference Tools for Deductive Verification},
  publisher = {4TU.ResearchData},
  year = {2023},
  copyright = {CC BY 4.0},
}