Marcos da Silva Leite, José, UnB

• 23º Congresso de Iniciação Científica da Unb e 14º do DF - Exatas
  Geração Automática de Modelos em Lógicas Modais: Implementação
  Resumo