SPLASH 2019 (series) / Viktor Toman
Not registered as user yet
Name: Viktor Toman
Affiliation: IST Austria (Institute of Science and Technology Austria)
Contributions
| SPLASH 2019 | Author of Value-centric Dynamic Partial Order Reduction within the OOPSLA-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile