Browsing by Subject TLA+
Showing results 1 to 1 of 1
Author(s) | Title | Issue Date | Type |
---|---|---|---|
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 |