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