Datla, Lalith Sriram, and Rishi Krishna Thodupunuri. “Applying Formal Software Engineering Methods to Improve Java-Based Web Application Quality”. International Journal of Artificial Intelligence, Data Science, and Machine Learning 2, no. 4 (December 30, 2021): 18–26. Accessed January 23, 2026. https://ijaidsml.org/index.php/ijaidsml/article/view/154.