Paidy, P. (2025) “A Formal Verification-Based Risk Scoring System for Code-Level Vulnerabilities in Critical Applications”, International Journal of Applied Mathematical Research, 14(2), pp. 21–35. doi:10.14419/yxp00a41.