Dr. Sajid Anwar and Prof. Mohammad Ali, “FORMAL METHODS IN SOFTWARE ENGINEERING: ENHANCING SOFTWARE QUALITY AND RELIABILITY”, IJCST, vol. 7, no. 2, pp. 16-24, Sep. 2023.