[Workshop] CPAcheckerASE 2023

The 8^th 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/