conf.researchr.org / Viktor Toman
Registered user since Thu 9 Jul 2020
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 |