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