TY  - RPRT
TI  - CF-GKAT: Efficient Validation of Control-Flow Transformations
AU  - Cheng Zhang
AU  - Tobias Kappé
AU  - David E. Narváez
AU  - Nico Naus
PY  - 2025
DO  - 10.1145/3704857
UR  - https://arxiv.org/abs/2411.13220
ID  - 2411.13220
ER  -