Mestrando do PPGCC/UFMG apresenta pesquisa em conferência internacional sobre verificação formal
O aluno de mestrado do Programa de Pós-graduação em Ciência da Computação (PPGCC) da UFMG, Bruno Anderotti, apresentou um trabalho científico na conferência internacional Verification, Model Checking, and Abstract Interpretation (VMCAI 2026), realizada nos dias 12 e 13 de janeiro/26, em Rennes, na França.
O aluno de mestrado do Programa de Pós-graduação em Ciência da Computação (PPGCC) da UFMG, Bruno Anderotti, apresentou um trabalho científico na conferência internacional Verification, Model Checking, and Abstract Interpretation (VMCAI 2026), realizada nos dias 12 e 13 de janeiro/26, em Rennes, na França.










