Mostrando 1 - 2 resultados de 2 para a busca 'Ramos, Thiago Mendonça Ferreira', tempo de busca: 0,07s

1

Verificação das propriedades computacionais de um modelo funcional de primeira-ordem

Publicado em 2023
Acessar documento
Tese

2

Formalização da terminação de especificações funcionais

Publicado em 2017
Acessar documento (1)
Acessar documento (2)
Dissertação