FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
ICSE 2023 (series) / FormaliSE 2023 (series) / Ridhi Jain
Ridhi Jain

Registered user since Thu 5 Apr 2018

Name:Ridhi Jain
Affiliation:IIIT-Delhi
GitHub: https://github.com/ridhij93
Research interests:Program Analysis, Formal Verification, Software Security

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile