
Registered user since Sun 18 Jun 2017
Name:Raghavan Komondoor
Country:India
Affiliation:IISc Bengaluru
Personal website:http://drona.csa.iisc.ac.in/~raghavan/
Contributions
ICSE 2022 | Verification of ORM-based Controllers by Summary Inference | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2022-profile
View general profile
View general profile