1
Outros Autores:
“...http://lattes.cnpq.br/5172660162494409...”
Verificação baseada em indução matemática para programas C++
Dissertação