autores
- Almeida, JoseCarlosBacelar
- Almeida, J.B.
- Vieira, Bárbara Filipa Vasquez
- Almeida, José Bacelar
- Barbosa, M.
- Barbosa, Manuel Gonçalves
- Pinto, J.S.
- Pinto, Jorge Sousa
- Vieira, B.
Deductive verification of cryptographic software
Artigo Académico
- Visão geral
- Pesquisas
- Identidade
- Informação adicional documento
- Ver Todos
Visão geral
data de publicação
- janeiro 1, 2010