Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-1 de um total de 1 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2019A machine-checked proof of security for AWS key management serviceAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles; Campagna, Matthew; Cohen, Ernie; Gregoire, Benjamin; Pereira, Vitor; Portela, Bernardo; Strub, Pierre-Yves; Tasiran, SerdarArtigo em ata de conferênciaAcesso aberto
1-1 de um total de 1 resultados (tempo de pesquisa: 0.0 segundos).
  • Anterior
  • 1
  • Próxima

Descobrir