%0 Thesis
%T Verifica??o de Programas Embarcados ANSI-C baseada em indu??o Matem?tica e Invariantes
%U https://tede.ufam.edu.br/handle/tede/6261
%I Universidade Federal do Amazonas