conf.researchr.org / Louis Cheung
Registered user since Sun 28 Nov 2021
Name:Louis Cheung
Affiliation:University of Melbourne
Contributions
CPP 2022 | Author of Overcoming Restraint: Composing Verification of Foreign Functions with Cogent within the CPP 2022-track |