8th International Workshop on CPAchecker
(CPAchecker '23)

2023-09-11 Kirchberg, Luxembourg

Homepage
Program
Organization
Venue
Group Photo
Past Workshops

Chairs

Picture of Marie-Christine Jakobs

Marie-Christine Jakobs, LMU Munich, Germany

Picture of Nian-Ze Lee

Nian-Ze Lee, LMU Munich, Germany

If you did not find what you are looking for, please do not hesitate to contact us (Marie-Christine Jakobs and Nian-Ze Lee).

Imprint and Privacy Policy