SPLASH 2011
Fri 21 - Thu 27 October 2011 Portland, Oregon, United States
Raghavan Komondoor

Registered user since Sun 18 Jun 2017

Name:Raghavan Komondoor
Country:India
Affiliation:Indian Institute of Science, Bangalore

Contributions

SPLASH 2011 Null dereference verification via over-approximated weakest pre-conditions analysis
Show activities from other conferences

SPLASH 2011-profile
View general profile