Rodríguez, L., Pagano, M., & Fridlender, D. (2021). Proving correctness of a compiler using step-indexed logical relations.
Cita Chicago Style (17a ed.)Rodríguez, Leonardo, Miguel Pagano, y Daniel Fridlender. Proving Correctness of a Compiler Using step-indexed Logical Relations. 2021.
Cita MLA (8a ed.)Rodríguez, Leonardo, et al. Proving Correctness of a Compiler Using step-indexed Logical Relations. 2021.
Precaución: Estas citas no son 100% exactas.