Shafiq Hussain, Muhammad Jamil, Imran Shehzad, & Azka Sarfraz. (2025). INTEGRATING FORMAL METHODS INTO CLOUD BASED LEARNING MANAGEMENT SYSTEM SECURITY: A LIGHTWEIGHT FORMAL DEVELOPMENT FRAMEWORK. Spectrum of Engineering Sciences, 3(9), 1587–1595. Retrieved from https://www.thesesjournal.com/index.php/1/article/view/1200