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