1
Outros Autores:
“...http://lattes.cnpq.br/9276676299919657...”
Geração de casos de teste usando Bounded Model Checking
Dissertação