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 (Sep. 2025), 1587–1595.