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