Hacker Neus
Formally verifying a floating-point division routine with Gappa – part 1
(community.arm.com)
33 points
by montalbano
5 days ago |
4 comments
