SHAFIQ HUSSAIN; MUHAMMAD JAMIL; IMRAN SHEHZAD; AZKA SARFRAZ. INTEGRATING FORMAL METHODS INTO CLOUD BASED LEARNING MANAGEMENT SYSTEM SECURITY: A LIGHTWEIGHT FORMAL DEVELOPMENT FRAMEWORK. Spectrum of Engineering Sciences, [S. l.], v. 3, n. 9, p. 1587–1595, 2025. Disponível em: https://www.thesesjournal.com/index.php/1/article/view/1200. Acesso em: 8 aug. 2026.