Not registered as user yet

Name: Viktor Toman

Affiliation: IST Austria (Institute of Science and Technology Austria)

Contributions

SPLASH 2019Author of Value-Centric Dynamic Partial Order Reduction within the OOPSLA-track