Artigo de professor do DCC é premiado na ETAPS 2022
Na última semana, o professor do Departamento de Ciência da Computação da Universidade Federal de Minas Gerais (DCC/UFMG), Haniel Moreira Barbosa, recebeu o prêmio de “SCP Best Tool Paper”, na ETAPS 2022. O evento reúne algumas das principais conferências internacionais em áreas relacionadas à software. Em particular, o artigo denominado “cvc5: A Versatile and Industrial-Strength […]
Artigo de professor do DCC é premiado na ETAPS 2022 Read More »
Na última semana, o professor do Departamento de Ciência da Computação da Universidade Federal de Minas Gerais (DCC/UFMG), Haniel Moreira Barbosa, recebeu o prêmio de “SCP Best Tool Paper”, na ETAPS 2022. O evento reúne algumas das principais conferências internacionais em áreas relacionadas à software. Em particular, o artigo denominado “cvc5: A Versatile and Industrial-Strength