Report copyright - Approximations and Abstractions for Reasoning about ...1034570/FULLTEXT01.pdf · point arithmetic, as an approximation of the real arithmetic, can exhibit some unintuitive (and unexpected)
Please pass captcha verification before submit form