Publicações no PortAberta

Co-autor de rede

Mapa da Ciência

Pinto, JS

Pessoa

Publicações
Contato
Ver Todos

publicações selecionadas

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