Fechar

Defesa de Dissertação de Mestrado: Formalização de Algoritmos de Criptografia em um Assistente de Provas Interativo

Autor: Guilherme Gomes Felix da Silva

Orientador: Edward Hermann Haeusler

Data e Hora: 28/08/2018 às 15:00

Local: RDC511

Categorias: Teses e Dissertações