Kanagasabapathi, Somasundaram, and MG Thushara. “FORWARD AND BACKWARD STATIC ANALYSIS FOR CRITICAL NUMERICAL ACCURACY IN FLOATING POINT PROGRAMS”. Computer Science 21, no. 2 (April 24, 2020). Accessed March 13, 2025. https://journals.agh.edu.pl/csci/article/view/3421.