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