Osama, S., S. Iqbal, and A. Ahsan. 2012. “FORMAL METHODS ADAPTATION IN PAKISTAN’S SOFTWARE INDUSTRY”. The Nucleus 49 (2):149-53. http://202.83.167.189/index.php/Nucleus/article/view/808.