licensing-2018-12-hpcbp-db | Tools and Techniques for Floating-Point Analysis

licensing-2018-12-hpcbp-db.pdf