Dr. Sajid Anwar, and Prof. Mohammad Ali. “FORMAL METHODS IN SOFTWARE ENGINEERING: ENHANCING SOFTWARE QUALITY AND RELIABILITY”. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, Vol. 7, no. 2, Sept. 2023, pp. 16-24, https://ijcst.com.pk/index.php/IJCST/article/view/399.