Q.U.A. NIZAMANI; H. A. NIZAMANI; N. CHANA; N. J. RAJPER. On Designing Heuristics for Formal Verification Approaches. Sindh. Uni. Res. J. SS 2016, 48.