conf.researchr.org / Isitha Subasinghe
Not registered as user yet
Name:Isitha Subasinghe
Country:Australia
Affiliation:UNSW Sydney
Contributions
SPLASH 2023 | Author of Verus: Verifying Rust Programs using Linear Ghost Types within the OOPSLA-track |
Not registered as user yet
Contributions
SPLASH 2023 | Author of Verus: Verifying Rust Programs using Linear Ghost Types within the OOPSLA-track |