Painel promovido pelo DCC/UFMG reúne especialistas da indústria de verificação formal de hardware
No próximo dia 28 de janeiro, terça-feira, às 13 horas, na sala 2077 do Instituto de Ciências Exatas (ICEx), o Departamento de Ciência da Computação (DCC) da UFMG, irá promover o painel “Histórias de sucesso de especialistas da indústria de verificação formal de hardware”. O painel será composto pelos ex-alunos do departamento, Antônio Caldeira, engenheiro […]
No próximo dia 28 de janeiro, terça-feira, às 13 horas, na sala 2077 do Instituto de Ciências Exatas (ICEx), o Departamento de Ciência da Computação (DCC) da UFMG, irá promover o painel “Histórias de sucesso de especialistas da indústria de verificação formal de hardware”. O painel será composto pelos ex-alunos do departamento, Antônio Caldeira, engenheiro
