A Tool-Chain for High-Assurance Cryptographic Software Artigo Académico uri icon

autores

  • Almeida, JoseCarlosBacelar
  • Almeida, J
  • Barbosa, M
  • Pacheco, H
  • Pereira, V

data de publicação

  • janeiro 1, 2016