Author Details

Azevedo, Luiza Alencar, Universidade de Brasília, Brazil

  • - Submissões gerais
    A Correção do Algoritmo AKS em Coq
    Abstract


ISBN 978-85-64593-74-9