All software
1 software items. Page 1 of 1. 12 items per page. 1 filters active.
12
1-1 of 1
Artefact for doctoral thesis "Verifying Optimised Parallel Code"
Artefact for doctoral thesis "Verifying Optimised Parallel Code"
- Deductive verification
- formal methods
- GPU
- + 2
- (C)
- (C++)
- (Markdown)
- + 4
1
0