publicações selecionadas artigo de conferência Using term rewriting to solve bit-vector arithmetic problems (Poster presentation). Computational Methods in Applied Sciences. 2012
