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):1587-95. https://www.thesesjournal.com/index.php/1/article/view/1200.