ASE 2023
Mon 11 - Fri 15 September 2023 Kirchberg, Luxembourg

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/