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