Mostrando 1 - 2 resultados de 2 para la búsqueda [ Cristiá, Maximiliano ] Filtros
  1. 1
    Tesis de maestría Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis Cristiá, Maximiliano
    2002
    Universidad de la República
  2. 2
    Artículo A Model-Driven Analysis of Mimblewimble Security Properties and its Protocol Implementations Silveira, Adrián - Betarte, Gustavo - Cristiá, Maximiliano - Luna, Carlos
    2023
    Universidad de Montevideo
    Otros Autores: