Not registered as user yet

Name:Casper Svenning Jensen
Affiliation:Aarhus University, Denmark

Contributions

SPLASH 2015 Author of Stateless Model Checking of Event-Driven Applications within the OOPSLA-track