Mostrando 1 - 1 resultados de 1 para a busca 'http://lattes.cnpq.br/5322203207556538', tempo de busca: 0,01s

1

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

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

Dissertação