@misc{https://doi.org/10.4121/21e79524-40c4-4dc1-8108-94e7b6fc6d9f.v1,
  doi = {10.4121/21e79524-40c4-4dc1-8108-94e7b6fc6d9f.v1},
  url = {},
  author = {Armborst, Lukas and Lathouwers, Sophie and Huisman, Marieke},
  keywords = {Specifications, Deductive Verification, Annotations, Tool interoperability},
  title = {Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"},
  publisher = {4TU.ResearchData},
  year = {2023},
  copyright = {CC BY 4.0},
}