PLoP 2015
Fri 23 - Mon 26 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015

Not registered as user yet

Name: Casper Svenning Jensen

Affiliation: Aarhus University, Denmark


SPLASH 2015Author of Stateless Model Checking of Event-Driven Applications within the OOPSLA-track
Show activities from other conferences

SPLASH 2015-profile
View general profile