1
Assuntos:
“...Operações bit a bit...”
Geração de casos de teste usando Bounded Model Checking
Dissertação