Grande área: Ciências Exatas e da Terra
Área: Ciência da Computação
Sub-área: Teoria da Computação
Especialidade: Lógicas e Semântica de Programas
CTIT UFMG