TY  - RPRT
TI  - An Efficient Floating-Point Bit-Blasting API for Verifying C Programs
AU  - Mikhail R. Gadelha
AU  - Lucas C. Cordeiro
AU  - Denis A. Nicole
PY  - 2020
UR  - https://arxiv.org/abs/2004.12699
ID  - 2004.12699
ER  -