The 8th International Workshop on CPAchecker (CPAchecker ’23)
Organizers:
- Marie-Christine Jakobs (LMU Munich)
- Nian-Ze Lee (LMU Munich)
More information, including the call for contributions, can be found at https://cpa.sosy-lab.org/2023/
Organizers:
More information, including the call for contributions, can be found at https://cpa.sosy-lab.org/2023/