Início
Áreas de Pesquisa
Projetos
Pessoas
Contato
Português
Português
English
Haniel Barbosa
Professor Adjunto
Interesses
Métodos Formais
Verificação Formal
Sintetização de programas
Raciocínio automatizado
Satisfatibilidade Modulo Teorias
