@misc{https://doi.org/10.4121/21820458.v1,
  doi = {10.4121/21820458.v1},
  url = {https://data.4tu.nl/articles/software/_/21820458},
  author = {Lathouwers, Sophie and Armborst, Lukas and Huisman, Marieke},
  keywords = {Deductive verification, Specifications, Annotations, Specification languages, Semantics, Translation},
  title = {Specification Translator: Tool to Translate Specifications for Deductive Verifiers},
  publisher = {4TU.ResearchData},
  year = {2023},
  copyright = {CC BY 4.0},
}