Author Details

Rêgo, Yuri Santos, Universidade de Brasília, Brazil

  • - Submissões gerais
    Verificação e Formalização de sistemas criptográficos em PVS
    Abstract


ISBN 978-85-64593-74-9