2024

Formal Methods for High Integrity GPU Software Development and Verification.

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024