Casper Svenning Jensen - SPLASH 2015

Fri 23 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States

Not registered as user

Name:Casper Svenning Jensen

Affiliation:Aarhus University, Denmark

Contributions

2015

SPLASH

Stateless Model Checking of Event-Driven Applications

Show activities from other conferences

SPLASH 2015-profile
View general profile