Q.U.A. NIZAMANI, H. A. NIZAMANI, N. CHANA, & N. J. RAJPER. (2016). On Designing Heuristics for Formal Verification Approaches . Sindh University Research Journal - SURJ (Science Series), 48(1). Retrieved from https://sujo.usindh.edu.pk/index.php/SURJ/article/view/4990