Osama, S., Iqbal, S., & Ahsan, A. (2012). FORMAL METHODS ADAPTATION IN PAKISTAN’S SOFTWARE INDUSTRY. The Nucleus, 49(2), 149–153. https://doi.org/10.71330/thenucleus.2012.808