Percorrer por assunto Security properties
Mostrar 2-2 de um total de 2 resultados.
< anterior
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
2006 | Lissom, a source level proof carrying code platform | Gomes, João; Martins, Daniel; Sousa, Simão Melo de, et al. | Poster em conferência | Acesso aberto |