Formal Methods for GPGPU Programming: Is the Demand Met?

Lars van den Haak, Anton J. Wijs, Mark G.J. van den Brand, Marieke Huisman

Software Engineering and Technology

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

3 Citaten (Scopus)

213 Downloads (Pure)

1 resultaten
- Titel
- Begindatum(oplopend)

Card sorting data for Formal methods for GPGPU programming: is the demand met?
van den Haak, L. (Ontwerper), Wijs, A. J. (Ontwerper), van den Brand, M. G. J. (Ontwerper) & Huisman, M. (Ontwerper), 4TU.Centre for Research Data, 2 nov. 2020
DOI: 10.4121/12988781
Dataset