VSTTE 2017

Jul 22-23, 2017 – Heidelberg, Germany

Verified Software: Theories, Tools, and Experiments conference. 

Clement Fumex will be presenting the paper Automating the Verification of Floating-Point Programs.