%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