8th International Workshop on CPAchecker
(CPAchecker '23)

Thank you to all participants for the interesting presentations and discussions. See you next year!

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