research line of
- Linguagens e Ambientes de Programação Grupo de Pesquisa
Métodos e Ferramentas de Documentação de Programas e Especificação Formal Executável
Conceito
- Visão geral