%0 Thesis
%T Computação verificada aplicada à resolução de sistemas lineares intervalares densos em arquiteturas multicore
%U http://tede2.pucrs.br/tede2/handle/tede/5110
%I Pontifícia Universidade Católica do Rio Grande do Sul