TY - DATA
T1 - PhD Thesis Artifact: Correct Optimized GPU Programs
PY - 2022/01/31
AU - Mohsen Safari
UR - https://data.4tu.nl/articles/dataset/PhD_Thesis_Artifact_Correct_Optimized_GPU_Programs/19055453/1
DO - 10.4121/19055453.v1
KW - PhD artifact
KW - Correct optimized GPU programs
KW - Deductive program verification
N2 - This repository contains all the case studies and examples in the PhD thesis titled "Correct Optimized GPU programs" written by Mohsen Safari under the supervision of prof.dr. Marieke Huisman from the University of Twente.
ER -