Osama, S., Iqbal, S., & Ahsan, A. (2012). FORMAL METHODS ADAPTATION IN PAKISTAN’S SOFTWARE INDUSTRY. The Nucleus, 49(2), 149–153. Retrieved from http://thenucleuspak.org.pk/index.php/Nucleus/article/view/808