1
Outros Autores:
“...http://lattes.cnpq.br/2284500318304899...”
Verificação e comprovação de erros em códigos C usando bounded model checker
Dissertação
2
Outros Autores:
“...http://lattes.cnpq.br/2284500318304899...”
Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking
Tese