Publicações no PortAberta

Co-autor de rede

Mapa da Ciência

Vieira, B

Pessoa

Publicações
Contato
Ver Todos

publicações selecionadas

artigo de conferência
- Deductive Verification of Cryptographic Software 2009