Registered user since Mon 29 Nov 2021

Name:Justus Fasse
Affiliation:Université Grenoble-Alpes; KU Leuven

Contributions

CPP 2022 Formally Verified Superblock Scheduling
Show activities from other conferences

Using general profile