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