Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Henrik Wachowitz
conf.researchr.org general profile
ASE 2023 profile
ASE 2024 profile
ICSE 2023 profile
Not registered as user
Name:
Henrik Wachowitz
Affiliation:
LMU Munich
Contributions
2024
ASE
Author of CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification within the Tool Demonstrations-track
2023
ASE
Author of CPAdaemon: Progress and Demo within the [Workshop] CPAchecker-track
ICSE
Author of CoVeriTeam Service: Verification as a Service within the DEMO - Demonstrations-track
Share
x
Sat 25 Oct 12:46