KANAGASABAPATHI, S.; THUSHARA, M. 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: 26 apr. 2024.