Outros Autores: “...http://lattes.cnpq.br/5172660162494409...”

Verificação baseada em indução matemática para programas C++