All software
1 software items. Page 1 of 1. 12 items per page. 1 filters active.
12
1-1 of 1
Artifact for Article: Extending Deductive Verification of SYCL in VerCors with Sub-groups
Artifact for Article: Extending Deductive Verification of SYCL in VerCors with Sub-groups
- Deductive verification
- heterogeneous computing
- SYCL
- + 1
4
0