Osama, S.; Iqbal, S.; Ahsan, A. FORMAL METHODS ADAPTATION IN PAKISTAN’S SOFTWARE INDUSTRY. The Nucleus 2012, 49, 149-153.