Disciplinas Curso de Verificação Formal de Hardware é oferecido aos alunos do DCC/UFMG Modelagem e Resolução de Problemas de Otimização Combinatória
