Seminário de Qualificação de Mestrado de Raul Lopes, dia 15/05/17, as 13:30 no DECOM.Seminário de Qualificação de Mestrado de Raul Felipe Pimenta Lopes, dia 15/05/17, as 13:30 no DECOM. Titulo: Verificação formal de algoritmos de parsing baseados em derivadas de expressões regulares. Resumo: |
Departamento de Computação | ICEB | Universidade Federal de Ouro Preto
Campus Universitário Morro do Cruzeiro | CEP 35400-000 | Ouro Preto - MG, Brasil
Telefone: +55 31 3559-1692 | decom@ufop.edu.br