Jiménez del Valle, R., & Miranda Perea, F. E. (2011). Métodos formales ligeros: Especificación de un sistema de elevadores en el analizador Alloy.
Cita Chicago Style (17a ed.)Jiménez del Valle, Rodrigo, y Favio Ezequiel Miranda Perea. Métodos Formales Ligeros: Especificación De Un Sistema De Elevadores En El Analizador Alloy. 2011.
Cita MLA (8a ed.)Jiménez del Valle, Rodrigo, y Favio Ezequiel Miranda Perea. Métodos Formales Ligeros: Especificación De Un Sistema De Elevadores En El Analizador Alloy. 2011.
Precaución: Estas citas no son 100% exactas.