publicações selecionadas documento Using term rewriting to solve bit-vector arithmetic problems (Poster presentation). International Journal on Software Tools for Technology Transfer. 2012
