SPLASH 2019 (series) / Viktor Toman
Registered user since Thu 9 Jul 2020
Name: Viktor Toman
Affiliation: IST Austria (Institute of Science and Technology Austria)
Contributions
SPLASH 2019 | Value-Centric Dynamic Partial Order Reduction | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2019-profile
View general profile
View general profile