Osama, S., Iqbal, S. and Ahsan, A. (2012) “FORMAL METHODS ADAPTATION IN PAKISTAN’S SOFTWARE INDUSTRY”, The Nucleus, 49(2), pp. 149–153. Available at: http://thenucleuspak.org.pk/index.php/Nucleus/article/view/808 (Accessed: 28 April 2024).