Jan Strejcek - SPLASH 2021

Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States

Registered user since Thu 1 Aug 2019

Name:Jan Strejcek

Country:Czechia

Affiliation:Masaryk University

Personal website: https://www.fi.muni.cz/~xstrejc/

Contributions

2021

Static Analysis Symposium

Backward Symbolic Execution with Loop Folding

Show activities from other conferences

SPLASH 2021-profile
View general profile