Publications

2020

van den Haak, Lars B; Wijs, Anton; van den Brand, Mark; Huisman, Marieke

Formal methods for GPGPU programming: is the demand met? Inproceedings Forthcoming

Integrated Formal Methods, Springer International Publishing, Forthcoming.

Abstract | BibTeX