Disciplinas Curso de Verificação Formal de Hardware é oferecido aos alunos do DCC/UFMG Formados pelo DCC/UFMG compartilham experiências com calouros do Tronco Comum em Computação Modelagem e Resolução de Problemas de Otimização Combinatória
