Navegando por Autor Santos, Kleber Tarcísio Oliveira
Mostrando resultados 1 a 1 de 1
| Data do documento | Título | Autor(es) | Tipo |
|---|---|---|---|
| 28-Fev-2018 | Uma abordagem unificada para especificar e checar restrições em múltiplas linguagens de programação por meio de um analisador estático no contexto de um juiz on-line | Santos, Kleber Tarcísio Oliveira | Dissertação |