DR. SAJID ANWAR; PROF. MOHAMMAD ALI. FORMAL METHODS IN SOFTWARE ENGINEERING: ENHANCING SOFTWARE QUALITY AND RELIABILITY. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, v. 7, n. 2, p. 16-24, 10 Sep. 2023.