conf.researchr.org / Shengyi Wang
Not registered as user yet
Name:Shengyi Wang
Contributions
2019
SPLASH
- Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA-track
- Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the Posters-track
- Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA Artifacts-track