Shadi Abdul Khalek - SPLASH 2014

Mon 20 - Fri 24 October 2014 Portland, Oregon, United States

Not registered as user yet

Name:Shadi Abdul Khalek

Affiliation:Google

Contributions

2014

SPLASH

Bounded Exhaustive Test Input Generation from Hybrid Invariants

Show activities from other conferences

SPLASH 2014-profile
View general profile