![](/img/cover-not-exists.png)
[IEEE 2016 Formal Methods in Computer-Aided Design (FMCAD) - Mountain View, CA, USA (2016.10.3-2016.10.6)] 2016 Formal Methods in Computer-Aided Design (FMCAD) - Accurate ICP-based floating-point reasoning
Scheibler, Karsten, Neubauer, Felix, Mahdi, Ahmed, Franzle, Martin, Teige, Tino, Bienmuller, Tom, Fehrer, Detlef, Becker, BerndYear:
2016
Language:
english
DOI:
10.1109/FMCAD.2016.7886677
File:
PDF, 180 KB
english, 2016