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

• 17º CONGRESSO DE INICIAÇÃO CIENTÍFICA DA UNB E 8º DO DF - Submissões gerais
  A Correção do Algoritmo AKS em Coq
  Resumo