Marie-Christine JakobsNian-Ze Lee2025-03-192025-03-192024-04-03https://scholars.lib.ntu.edu.tw/handle/123456789/725858Summary of the Eighth International Workshop on CPAchecker(CPAchecker 2023)journal article10.1145/3650142.3650150