SPLASH 2023 (series) / Gaurav Parthasarathy
Registered user since Sun 10 Nov 2019
Name:Gaurav Parthasarathy
Affiliation:ETH Zurich
Contributions
| SPLASH 2023 | Verification-Preserving Inlining in Automatic Separation Logic Verifiers | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile