Osama, S., Iqbal, S. and Ahsan, A. 2012. FORMAL METHODS ADAPTATION IN PAKISTAN’S SOFTWARE INDUSTRY. The Nucleus. 49, 2 (Apr. 2012), 149–153.