Cortés Ortiz, J. C., & Miranda Perea, F. E. (2011). Métodos formales ligeros: Especificación de un sistema de correo electrónico en el analizador Alloy. MX.
Cita Chicago Style (17a ed.)Cortés Ortiz, Juan Carlos, y Favio Ezequiel Miranda Perea. Métodos Formales Ligeros: Especificación De Un Sistema De Correo Electrónico En El Analizador Alloy. MX, 2011.
Cita MLA (8a ed.)Cortés Ortiz, Juan Carlos, y Favio Ezequiel Miranda Perea. Métodos Formales Ligeros: Especificación De Un Sistema De Correo Electrónico En El Analizador Alloy. MX, 2011.
Precaución: Estas citas no son 100% exactas.