Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nilesh Ramesh Kharat
conf.researchr.org general profile
ICSE 2022 profile
Registered user since Wed 5 Jan 2022
Name:
Nilesh Ramesh Kharat
Affiliation:
Indian Institute of Science, Bangalore
Contributions
2022
ICSE
Author of Verification of ORM-based Controllers by Summary Inference within the Technical Track-track
Share
x
Wed 18 Dec 19:01