Not registered as user yet
Name:Marek Chalupa
Affiliation:Masaryk University
Contributions
| SAS 2021 | Backward Symbolic Execution with Loop Folding | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2021-profile
View general profile
View general profile
- Attending
- Program
- Track/Call
- Organization
- SAS 2021 Committees
- Track Committees
- Invited Speakers
- Organizing Committee
- Program Committee
- Artifact Evaluation Committee
- Contributors
- People Index
- Search
- Series