%0 Generic
%A Safari, Mohsen
%D 2022
%T PhD Thesis Artifact: Correct Optimized GPU Programs
%U https://data.4tu.nl/articles/dataset/PhD_Thesis_Artifact_Correct_Optimized_GPU_Programs/19055453/1
%R 10.4121/19055453.v1
%K PhD artifact
%K Correct optimized GPU programs
%K Deductive program verification
%X 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.
%I 4TU.ResearchData