Browsing by author Abal, Iago
Showing results 1 to 3 of 3.
|2013||Towards a mostly-automated prover for bit-vector arithmetic||Abal, Iago; Pinto, Jorge Sousa||Conference paper||Restricted access (UMinho)|
|2012||Using term rewriting to solve Bit-Vector arithmetic problems (Poster Presentation)||Abal, Iago; Cunha, Alcino; Hurd, Joe, et al.||Abstract||Open access|
|2012||Using term rewriting to solve bit-vector arithmetic problems - (Poster Presentation)||Abal, Iago; Cunha, Alcino; Hurd, Joe, et al.||Conference paper||Open access|