6 citations · 6 across the 1 of their papers we have counts for
1 paper
Roberto Bagnara, Abramo Bagnara, Fabio Biselli +2
Verification of programs using floating-point arithmetic is challenging on several accounts. One of the difficulties of reasoning about such programs is due to the peculiarities of…