![](https://www.pdfsearch.io/img/6eec8ac0b2c9d03f5087ae7a467fdf8a.jpg) Date: 2013-11-07 12:44:35
| | Specification and verification of GPGPU programs Stefan Blom, Marieke Huisman and Matej Mihelˇci´c University of Twente, Enschede, The Netherlands {s.c.c.blom,m.huisman}@utwente.nl November 8, 2013Add to Reading ListSource URL: eprints.eemcs.utwente.nlDownload Document from Source Website File Size: 265,14 KBShare Document on Facebook
|