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