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

autores

  • Almeida, JoseCarlosBacelar
  • Barbosa, M
  • Almeida, JB
  • Pinto, JS
  • Vieira, B

data de publicação

  • janeiro 1, 2009