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

LEITE, Lourenildo Williame Barbosa ; ROCHA, Marcus Pinto da Costa da
LEITE, L. W. B.; ROCHA, M. P. C. da. Deconvolução de processo sísmico não-estacionário. Revista Brasileira de Geofísica, São Paulo, v. 18, n. 1, p. 75-89, mar. 2000. Disponível em: . Acesso em: 12 dez. 2013. ..  , 2013