NFM 2016

Jun 7-9, 2016 – Minneapolis, MN, USA

Claude Marche and Clément Fumex are presenting the paper "Specification and Proof of High-Level Functional Properties of Bit-Level Programs."