Shafiq Hussain, Muhammad Jamil, Imran Shehzad, and Azka Sarfraz. “INTEGRATING FORMAL METHODS INTO CLOUD BASED LEARNING MANAGEMENT SYSTEM SECURITY: A LIGHTWEIGHT FORMAL DEVELOPMENT FRAMEWORK”. Spectrum of Engineering Sciences 3, no. 9 (September 22, 2025): 1587–1595. Accessed August 8, 2026. https://www.thesesjournal.com/index.php/1/article/view/1200.