Página de Busca
Adicionar filtros:
Utilizar filtros para refinar o resultado de busca.
Resultado 1-1 de 1.
- Anterior
- 1
- Próximo
Conjunto de itens:
| Data de defesa | Pré-visualização | Título | Autor | Orientador | Programa | Tipo de documento |
|---|---|---|---|---|---|---|
| 19-Ago-2019 |  | Automatic reasoning over contract clauses | Aires, João Paulo de Souza | Meneguzzi, Felipe Rech | Programa de Pós-Graduação em Ciência da Computação | Tese |
| Compartilhe o registro |
|
Busca facetada
Orientador
Todos contribuidores
Áreas do CNPq
Ano de defesa