Pantheon Institutional repository
Collect, preserve and disseminate digital academic production in all areas of knowledge.
Comprise the assets of the repository, in addition to theses and dissertations at UFRJ, scientific articles, electronic books, book chapters and papers presented at events for teachers, researchers, administrative staff and students of master's and doctoral degrees.
Browsing by Subject Métodos formais
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 |