SPLASH 2011 (series) / Raghavan Komondoor
Registered user since Sun 18 Jun 2017
Name:Raghavan Komondoor
Country:India
Affiliation:Indian Institute of Science, Bangalore
Personal website:http://drona.csa.iisc.ac.in/~raghavan/
Contributions
| SPLASH 2011 | Null dereference verification via over-approximated weakest pre-conditions analysis | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2011-profile
View general profile
View general profile