research line of
- Ciências Aplicadas Grupo de Pesquisa
- Language-driven software engineering Grupo de Pesquisa
- Teoria da Computação Grupo de Pesquisa
Métodos formais
- Visão geral