SPLASH 2019 (series) / Anshuman Mohan
Not registered as user yet
Name: Anshuman Mohan
Affiliation: National University of Singapore
Contributions
| SPLASH 2019 | Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile