Fingerprint
Dive into the research topics of 'Formal Methods for GPGPU Programming: Is the Demand Met?'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Formal Methods for GPGPU Programming: Is the Demand Met?
Lars B. van den Haak*, Anton Wijs, Mark van den Brand, Marieke Huisman
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
1
Citation
(Scopus)
41
Downloads
(Pure)