Voltar aos Detalhes do Artigo
Verificação de Kernels em Programas CUDA usando Bounded Model Checking
Baixar
##common.downloadPdf##