Subodh Sharma

Registered user since Fri 15 May 2020

Name:Subodh Sharma
Country:India
Affiliation:IIT Delhi
Research interests:Model Checking, Program Analysis, Security

Contributions

VMCAI 2023 Committee Member in Program Committee within the VMCAI 2023-track
Show activities from other conferences

Using general profile