Página de Busca
Adicionar filtros:
Utilizar filtros para refinar o resultado de busca.
Resultado 1-2 de 2.
- Anterior
- 1
- Próximo
Conjunto de itens:
| Data do documento | Título | Autor(es) |
|---|---|---|
| 2020 | Towards an extrinsic formalization of featherweight Java in Agda. | Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du |
| 2020 | A type-directed algorithm to generate random well-typed Java 8 programs. | Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du |
Busca facetada
Has File(s)
- 2 true