Melo, Raimundo Williame Rocha de ; http://lattes.cnpq.br/8935199769991902 MELO, Raimundo Williame Rocha de. Verifica????o de Programas Embarcados ANSI-C baseada em indu????o Matem??tica e Invariantes. 2017. 70 f. Disserta????o (Mestrado em Engenharia El??trica) - Universidade Federal do Amazonas, Manaus, 2017..
,
2017