Shafiq Hussain, Muhammad Jamil, Imran Shehzad, Azka Sarfraz. INTEGRATING FORMAL METHODS INTO CLOUD BASED LEARNING MANAGEMENT SYSTEM SECURITY: A LIGHTWEIGHT FORMAL DEVELOPMENT FRAMEWORK. SES [Internet]. 2025 Sep. 22 [cited 2026 Aug. 8];3(9):1587-95. Available from: https://www.thesesjournal.com/index.php/1/article/view/1200