Martínez, M., & Rodríguez, E. (2014). Hacia la especificación y verificación formal de algoritmos criptográficos: Mini-AES certificado.
Cita Chicago Style (17a ed.)Martínez, Mauricio, y Enrique Rodríguez. Hacia La Especificación Y Verificación Formal De Algoritmos Criptográficos: Mini-AES Certificado. 2014.
Cita MLA (9a ed.)Martínez, Mauricio, y Enrique Rodríguez. Hacia La Especificación Y Verificación Formal De Algoritmos Criptográficos: Mini-AES Certificado. 2014.
Precaución: Estas citas no son 100% exactas.
