1. REPOSITORIO INSTITUCIONAL DA UFOP

Página de Busca


Filtros correntes:


Retornar valores
Adicionar filtros:

Utilizar filtros para refinar o resultado de busca.

 | 
Resultado 1-3 de 3.
  • Anterior
  • 1
  • Próximo
Conjunto de itens:
Data do documentoTítuloAutor(es)
2020Towards an extrinsic formalization of featherweight Java in Agda.Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du
2020A type-directed algorithm to generate random well-typed Java 8 programs.Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du
2021The design of a verified derivative-based parsing tool for regular expressions.Cardoso, Elton Máximo; Amaro, Maycon José Jorge; Feitosa, Samuel da Silva; Reis, Leonardo Vieira dos Santos; Bois, André Rauber Du; Ribeiro, Rodrigo Geraldo

Busca facetada