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