Navegando por Autor Melo, Vinicius Teixeira de
Mostrando resultados 1 a 1 de 1
Data do documento | Título | Autor(es) | Tipo |
---|---|---|---|
2018 | Aplicação de Busca Bidirecional em Planejamento como Verificação Simbólica de Modelos | Melo, Vinicius Teixeira de | TCC |