skip to main content
Idioma:
Primo Search
Clear Search Box
Search in: Busca Geral
Busca Avançada
Busca por Índices

Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications

Vanspauwen, Gijs ; Jacobs, Bart

Software Engineering and Formal Methods, p.53-68 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.