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), 16-24. https://ijcst.com.pk/index.php/IJCST/article/view/399.