Registered user since Thu 1 Aug 2019
Name:Jan Strejcek
Country:Czech Republic
Affiliation:Masaryk University
Personal website:https://www.fi.muni.cz/~xstrejc/
Contributions
SAS 2021 | Backward Symbolic Execution with Loop Folding | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2021-profile
View general profile
View general profile