KANAGASABAPATHI, Somasundaram; THUSHARA, MG. FORWARD AND BACKWARD STATIC ANALYSIS FOR CRITICAL NUMERICAL ACCURACY IN FLOATING POINT PROGRAMS. Computer Science, [S. l.], v. 21, n. 2, 2020. DOI: 10.7494/csci.2020.21.2.3421. Disponível em: https://journals.agh.edu.pl/csci/article/view/3421. Acesso em: 13 mar. 2025.