Q.U.A. NIZAMANI; H. A. NIZAMANI; N. CHANA; N. J. RAJPER. On Designing Heuristics for Formal Verification Approaches . Sindh University Research Journal - SURJ (Science Series), [S. l.], v. 48, n. 1, 2016. Disponível em: https://sujo.usindh.edu.pk/index.php/SURJ/article/view/4990. Acesso em: 3 sep. 2026.