This page shows all presentations of this author published in EasyChair Smart Slide.
A Bit-Vector to Integer Translation with Bv2nat and Nat2bv
Max Barth and Matthias Heizmann