conf.researchr.org / Casper Svenning Jensen
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 |