APA (7th ed.) Citation

Zhang, C., Kappé, T., Narváez, D. E., & Naus, N. (2024). CF-GKAT: Efficient Validation of Control-Flow Transformations.

Chicago Style (17th ed.) Citation

Zhang, Cheng, Tobias Kappé, David E. Narváez, and Nico Naus. CF-GKAT: Efficient Validation of Control-Flow Transformations. 2024.

MLA (9th ed.) Citation

Zhang, Cheng, et al. CF-GKAT: Efficient Validation of Control-Flow Transformations. 2024.