Portal eduCapes: Buscando no repositório

Navegando por Autor Muñoz, César Augusto

Mostrando resultados 1 a 3 de 3

On Termination by Dependency Pairs and Termination of First-Order Functional Specifications in PVS
Ayala-Rincón, Mauricio; Muñoz, César Augusto
Almeida, Ariane Alves
3-Nov-2021
★★★★★ (0)
On Termination by Dependency Pairs and Termination of First-Order Functional Specifications in PVS
Ayala-Rincón, Mauricio; Muñoz, César Augusto
Almeida, Ariane Alves
3-Nov-2021
★★★★★ (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 3 de 3