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