conf.researchr.org / Dhruv Makwana
Not registered as user yet
Name:Dhruv Makwana
Affiliation:University of Cambridge
Contributions
WITS 2022 | Author of CN: A Refinement Type System for C within the WITS 2022-track |
Not registered as user yet
Contributions
WITS 2022 | Author of CN: A Refinement Type System for C within the WITS 2022-track |