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

1

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

Verificação e comprovação de erros em códigos C usando bounded model checker

Publicado em 2011
Dissertação