conf.researchr.org / Leo Gourdin
Registered user since Mon 15 Nov 2021
Name:Leo Gourdin
Contributions
| CPP 2022 | Author of Formally Verified Superblock Scheduling within the CPP 2022-track |
Registered user since Mon 15 Nov 2021
Contributions
| CPP 2022 | Author of Formally Verified Superblock Scheduling within the CPP 2022-track |