10th International Workshop on CPAchecker
(CPA 2025)

2025-06-28 Clarion Hotel Trondheim, Norway

Homepage
Program
Organization
Venue
Past Workshops

Chairs

Picture of Dirk

Dirk Beyer,
LMU Munich, Germany

Picture of Matthias Kettl

Matthias Kettl,
LMU Munich, Germany

Picture of Marian Lingsch-Rosenfeld

Marian Lingsch-Rosenfeld,
LMU Munich, Germany

If you did not find what you are looking for, please do not hesitate to contact us.

Imprint and Privacy Policy