Publicações desse autor:
Convolução como Caso de Estudo para Formalização em PVS da Correção Funcional de Implementações em FPGA's
Ariane Alves Almeida, Mauricio Ayala-Rincón e Jones Yudi Mori