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