Non-expert developers need accurate floating-point libraries the mostblog.frama-c.com1 point·pascal_cuoq··0 commentsOpen articleSaveView on HN