Author Details

Guimarães, Lucas de Melo, Universidade de Brasília, Brazil

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