Deductive Verification of Cryptographic Software Artigo de Conferência uri icon

autores

  • José Carlos Bacelar Almeida
  • Barbosa, M
  • Almeida, JB
  • Pinto, JS
  • Vieira, B

data de publicação

  • janeiro 1, 2009