Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Manuel Pietsch
conf.researchr.org general profile
ASE 2026 profile
Registered user since Wed 30 Sep 2026
Name:
Manuel Pietsch
Contributions
2026
CPA
Author of Extensions of Distributed Summary Synthesis within the CPAchecker-track
Share
x
Thu 29 Oct 11:26