Zhang, C., Kappé, T., Narváez, D. E., & Naus, N. (2024). CF-GKAT: Efficient Validation of Control-Flow Transformations.
Citazione stile Chigago Style (17a edizione)Zhang, Cheng, Tobias Kappé, David E. Narváez, e Nico Naus. CF-GKAT: Efficient Validation of Control-Flow Transformations. 2024.
Citatione MLA (9a ed.)Zhang, Cheng, et al. CF-GKAT: Efficient Validation of Control-Flow Transformations. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.