Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Marek Chalupa
conf.researchr.org general profile
ICSE 2025 profile
Not registered as user
Name:
Marek Chalupa
Affiliation:
Institute of Science and Technology Austria
Contributions
2025
ICSE
Author of Cooperative Software Verification via Dynamic Program Splitting within the Research Track-track
Share
x
Sun 16 Mar 23:19
