Daniel BaierDirk BeyerPo-Chun ChienMarek JankolaMatthias KettlNian-Ze LeeThomas LembergerMarian Lingsch-RosenfeldMartin SpiesslHenrik WachowitzPhilipp Wendler2025-03-192025-03-19202497830315725559783031572562https://scholars.lib.ntu.edu.tw/handle/123456789/725846[SDGs]SDG17CPAchecker 2.3 with Strategy Selectionconference paper10.1007/978-3-031-57256-2_21