GPCE 2015
Mon 26 - Tue 27 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015

Not registered as user yet

Name:Casper Svenning Jensen
Affiliation:Aarhus University, Denmark

Contributions

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

SPLASH 2015-profile
View general profile