autores
- José Carlos Bacelar Almeida
- Almeida, J.B.
- Bárbara Vieira
- Almeida, José Bacelar
- Barbosa, M.
- Barbosa, Manuel Gonçalves
- Sousa Pinto, J.
- Pinto, Jorge Sousa
- Vieira, B.
Verifying cryptographic software correctness with respect to reference implementations
Artigo Académico
Artigo de Conferência
- Visão geral
- Pesquisas
- Identidade
- Informação adicional documento
- Ver Todos