Grande área: Ciências Exatas e da Terra
Área: Ciência da Computação
Sub-área: Teoria da Computação
Especialidade: Métodos Formais
CTIT UFMG