Dimitris Aspetakis

Orcid: 0009-0001-6741-3809

According to our database¹, Dimitris Aspetakis authored at least 1 paper in 2024.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2024

Formal Methods for High Integrity GPU Software Development and Verification.

[DOI]

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