Publications Details

Publications / Conference Presentation

Verification of Digital Numerics for High Consequence Systems

Presentation given at FPTalks (https://fpbench.org/talks/fptalks24.html)