Navegando por Autor Matins, Ana Teresa de Castro
Mostrando resultados 1 a 1 de 1
| Data do documento | Título | Autor(es) | Tipo |
|---|---|---|---|
| 2021 | Uma abordagem de dois níveis baseada em verificação de modelos de uma lógica modal para auxiliar na análise de conformidade arquitetural de software | Rocha, Bruno Menezes | Dissertação |