Cita APA (7a ed.)

Rodríguez, L., Pagano, M., & Fridlender, D. (2021). Proving compiler correctness using step-indexed logical relations.

Cita Chicago Style (17a ed.)

Rodríguez, Leonardo, Miguel Pagano, y Daniel Fridlender. Proving Compiler Correctness Using Step-indexed Logical Relations. 2021.

Cita MLA (8a ed.)

Rodríguez, Leonardo, et al. Proving Compiler Correctness Using Step-indexed Logical Relations. 2021.