Outros Autores: “...http://lattes.cnpq.br/5322203207556538...”

BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking