%0 Thesis
%T Verifica??o baseada em indu??o matem?tica para programas C++
%U http://tede.ufam.edu.br/handle/tede/4497
%I Universidade Federal do Amazonas