"FrankenBit: Bit-Precise Verification with Many Bits - (Competition ..."

Arie Gurfinkel, Anton Belov (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics