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