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