Not registered as user yet

Name: Dimitar Dimitrov

Affiliation: ETH Zurich, Switzerland

Contributions

SPLASH 2015 Stateless Model Checking of Event-Driven Applications
Show activities from other conferences

SPLASH 2015-profile
View general profile