Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/toplas/BettsCDKQTW15
%A Betts, Adam
%A Chong, Nathan
%A Donaldson, Alastair F.
%A Ketema, Jeroen
%A Qadeer, Shaz
%A Thomson, Paul
%A Wickerson, John
%D 2015
%J ACM Trans. Program. Lang. Syst.
%K
%N 3
%P 10:1-10:49
%T The Design and Implementation of a Verification Technique for GPU Kernels.
%U http://dblp.uni-trier.de/db/journals/toplas/toplas37.html#BettsCDKQTW15
%V 37
@article{journals/toplas/BettsCDKQTW15,
added-at = {2023-12-13T04:58:28.000+0100},
author = {Betts, Adam and Chong, Nathan and Donaldson, Alastair F. and Ketema, Jeroen and Qadeer, Shaz and Thomson, Paul and Wickerson, John},
biburl = {https://www.bibsonomy.org/bibtex/2c165fb3f0d4aafa2ec74b6e3e0fee211/admin},
ee = {https://doi.org/10.1145/2743017},
interhash = {9ccb14a11ac0ac1d0f6cbea07d24d17f},
intrahash = {c165fb3f0d4aafa2ec74b6e3e0fee211},
journal = {ACM Trans. Program. Lang. Syst.},
keywords = {},
number = 3,
pages = {10:1-10:49},
timestamp = {2023-12-13T04:58:28.000+0100},
title = {The Design and Implementation of a Verification Technique for GPU Kernels.},
url = {http://dblp.uni-trier.de/db/journals/toplas/toplas37.html#BettsCDKQTW15},
volume = 37,
year = 2015
}