Rearte, L. A., & Cherini, R. (2018). Analizando la forma de estructuras de datos no lineales en memoria dinámica con Separation Logic.
Cita Chicago Style (17a ed.)Rearte, Lucas Agustín, y Renato Cherini. Analizando La Forma De Estructuras De Datos No Lineales En Memoria Dinámica Con Separation Logic. 2018.
Cita MLA (8a ed.)Rearte, Lucas Agustín, y Renato Cherini. Analizando La Forma De Estructuras De Datos No Lineales En Memoria Dinámica Con Separation Logic. 2018.
Precaución: Estas citas no son 100% exactas.