17th Innovations in Software Engineering Conference (ISEC 2024) (series) / Kartik Nagar
Registered user since Fri 22 Apr 2022
Name:Kartik Nagar
Country:India
Affiliation:IIT Madras
Personal website: https://kartiknagar.github.io/
Research interests:Automated Formal Verification, Program Analysis, Programming Languages
Contributions
17th Innovations in Software Engineering Conference (ISEC 2024)-profile
View general profile
View general profile