%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