%0 Journal Article %1 journals/eceasst/Donaldson14 %A Donaldson, Alastair F. %D 2014 %J ECEASST %K dblp %T The GPUVerify Method: a Tutorial Overview. %U http://dblp.uni-trier.de/db/journals/eceasst/eceasst70.html#Donaldson14 %V 70

@article{journals/eceasst/Donaldson14, added-at = {2019-05-22T00:00:00.000+0200}, author = {Donaldson, Alastair F.}, biburl = {https://www.bibsonomy.org/bibtex/2b1bb761e7a8bebfb41dfb59ff63c6cce/dblp}, ee = {https://doi.org/10.14279/tuj.eceasst.70.986}, interhash = {58a3e10134ad618455e1be717c590682}, intrahash = {b1bb761e7a8bebfb41dfb59ff63c6cce}, journal = {ECEASST}, keywords = {dblp}, timestamp = {2019-05-23T11:50:56.000+0200}, title = {The GPUVerify Method: a Tutorial Overview.}, url = {http://dblp.uni-trier.de/db/journals/eceasst/eceasst70.html#Donaldson14}, volume = 70, year = 2014 }