Enhancing Range Analysis in Software Design Models by Detecting Floating-Point Absorption and Cancellation

von Lopes, Marcus Kimura
Veröffentlicht in International Conference on Information Technology: New Generations (14. : 2017 : Las Vegas, Nev.) Information technology - new generations (2018)