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.
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. 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. 2011.
Precaución: Estas citas no son 100% exactas.