Percorrer por autor 4266 Subscrever estatísticas do autor Autor
Mostrar 3-3 de um total de 3 resultados.
< anterior
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
25-Jun-2012 | Formal verification of cryptographic software implementations | Vieira, Bárbara Isabel Sousa | Tese de doutoramento | Acesso aberto |