Listar por Autor Rodríguez, Enrique
Mostrando resultados 1 a 1 de 1
| Fecha de publicación | Título | Autor(es) |
|---|---|---|
| 2014 | Hacia la especificación y verificación formal de algoritmos criptográficos : Mini-AES certificado | Martínez, Mauricio; Rodríguez, Enrique |