conf.researchr.org / Subodh Sharma
Registered user since Fri 15 May 2020
Name:Subodh Sharma
Country:India
Affiliation:IIT Delhi
Personal website: http://subodhvsharma.github.io
Research interests:Model Checking, Program Analysis, Security
Contributions