Osama, S., S. Iqbal, and A. Ahsan. 2012. “FORMAL METHODS ADAPTATION IN PAKISTAN’S SOFTWARE INDUSTRY”. The Nucleus 49 (2):149-53. https://doi.org/10.71330/thenucleus.2012.808.