Dirk BeyerNian-Ze Lee2025-03-192025-03-192024-11-1897830317577789783031757785https://scholars.lib.ntu.edu.tw/handle/123456789/725852The Transformation Game: Joining Forces for Verificationbook part10.1007/978-3-031-75778-5_9