Search alternatives:
"enclosures" » "inclosures", "closures"
Cover Image
Read Now

1
Published 2020
Springer International Publishing
Table of Contents: “...? -- An Efficient Floating-Point Bit-Blasting API for Verifying C Programs -- Rigorous Enclosure of Round-O Errors...”