Dr. Sajid Anwar and Prof. Mohammad Ali 2023. FORMAL METHODS IN SOFTWARE ENGINEERING: ENHANCING SOFTWARE QUALITY AND RELIABILITY. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY. 7, 2 (Sep. 2023), 16-24.