1
Outros Autores:
“...http://lattes.cnpq.br/5322203207556538...”
BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking
Dissertação