Dr. Sajid Anwar, Prof. Mohammad Ali. FORMAL METHODS IN SOFTWARE ENGINEERING: ENHANCING SOFTWARE QUALITY AND RELIABILITY. IJCST [Internet]. 2023Sep.10 [cited 2025Jun.16];7(2):16-4. Available from: https://ijcst.com.pk/index.php/IJCST/article/view/399