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