@misc{https://doi.org/10.4121/19055453.v1,
  doi = {10.4121/19055453.v1},
  url = {https://data.4tu.nl/articles/dataset/PhD_Thesis_Artifact_Correct_Optimized_GPU_Programs/19055453/1},
  author = {Safari, Mohsen},
  keywords = {PhD artifact, Correct optimized GPU programs, Deductive program verification},
  title = {PhD Thesis Artifact: Correct Optimized GPU Programs},
  publisher = {4TU.ResearchData},
  year = {2022},
  copyright = {CC0},
}