Q.U.A. NIZAMANI, H. A. NIZAMANI, N. CHANA, and N. J. RAJPER. “On Designing Heuristics for Formal Verification Approaches”. Sindh University Research Journal - SURJ (Science Series) 48, no. 1 (March 17, 2016). Accessed September 3, 2026. https://sujo.usindh.edu.pk/index.php/SURJ/article/view/4990.