@misc{https://doi.org/10.4121/9c8c079e-a941-4a66-89d8-3462bf30ff05.v1,
  doi = {10.4121/9c8c079e-a941-4a66-89d8-3462bf30ff05.v1},
  url = {},
  author = {Şakar, Ömer and van Oorschot, Dré and Huisman, Marieke},
  keywords = {VCLLVM, Deductive Verification, LLVM},
  title = {Artifact for paper (First Steps towards Deductive Verification of LLVM IR)},
  publisher = {4TU.ResearchData},
  year = {2024},
  copyright = {MPL 2.0},
}