Objetivos: Iniciar al estudiante al uso de métodos formales para la producción de software correcto por construcción. Conocer los sistemas de autenticación más importantes identificando sus características
Dres. Gustavo Betarte y Carlos Luna
10
04/03/2024