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