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 October 30, 2025. https://ijaidsml.org/index.php/ijaidsml/article/view/154.