Buscar por Materia Formal methods
Mostrando resultados 1 a 1 de 1
Autor(es) | Título | Fecha de publicación | Tipo |
---|---|---|---|
Cruz, Jones Martins Vieira da | Relato de experiência em modelagem e verificação de algoritmos concorrentes com TLA+ | 26-jun-2024 | Trabalho de conclusão de graduação |