%0 Thesis
%T Verificação limitada de modelos baseada em SMT para programas CUDA
%U https://tede.ufam.edu.br/handle/tede/7019
%I Universidade Federal do Amazonas