Project

General

Profile

FMCAD 2016

  • Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker: Accurate ICP-based Floating-Point Reasoning (PDF pages 177 - 184), FMCAD 2016