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

Group picture of CPAchecker workshop participants