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