Portal eduCapes: Buscando no repositório

Portal eduCapes
Seta

Navegando por Autor Ramos, Thiago Mendonça Ferreira

Mostrando resultados 1 a 2 de 2

Formalização da terminação de especificações funcionais
Ayala-Rincón, Mauricio
Ramos, Thiago Mendonça Ferreira
27-Abr-2017
★★★★★ (0)
Verificação das propriedades computacionais de um modelo funcional de primeira-ordem
Ayala-Rincón, Mauricio; Muñoz, César Augusto
Ramos, Thiago Mendonça Ferreira
13-Ago-2024
★★★★★ (0)

Mostrando resultados 1 a 2 de 2