DMCA

Using Term Rewriting to Solve Bit-Vector Arithmetic Problems (Poster Presentation)

by Iago Abal , Jorge Sousa Pinto