@misc{https://doi.org/10.4121/45d37292-cce5-4fb7-8d4e-a1b32cfa3028.v1,
  doi = {10.4121/45d37292-cce5-4fb7-8d4e-a1b32cfa3028.v1},
  url = {},
  author = {Şakar, Ömer and Wittingen, Ellen and Huisman, Marieke},
  keywords = {Deductive Verification, VerCors, SYCL, heterogeneous computing},
  title = {Artifact for Paper: (Deductive verification of SYCL in VerCors)},
  publisher = {4TU.ResearchData},
  year = {2024},
  copyright = {MPL 2.0},
}