Cita APA

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

Citación estilo Chicago

Rodríguez, Leonardo, Miguel Pagano, and Daniel Fridlender. Proving Correctness of a Compiler Using Step-indexed Logical Relations. 2016.

Cita MLA

Rodríguez, Leonardo, Miguel Pagano, and Daniel Fridlender. Proving Correctness of a Compiler Using Step-indexed Logical Relations. 2016.