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 |