Luna, C., & Betarte, G. (2011). Especificación y verificación formal de sistemas críticos: Análisis de modelos de seguridad para dispositivos móviles.
Cita Chicago Style (17a ed.)Luna, Carlos, y Gustavo Betarte. Especificación Y Verificación Formal De Sistemas Críticos: Análisis De Modelos De Seguridad Para Dispositivos Móviles. 2011.
Cita MLA (8a ed.)Luna, Carlos, y Gustavo Betarte. Especificación Y Verificación Formal De Sistemas Críticos: Análisis De Modelos De Seguridad Para Dispositivos Móviles. 2011.
Precaución: Estas citas no son 100% exactas.