Percorrer por orientadores 1362
Mostrar 8-8 de um total de 8 resultados.
< anterior
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
23-Dez-2019 | Towards model checking electrum specifications with LTSmin | Cancelinha, Bruno Miguel Sousa | Dissertação de mestrado | Acesso aberto |