Osama S, Iqbal S, Ahsan A. FORMAL METHODS ADAPTATION IN PAKISTAN’S SOFTWARE INDUSTRY. The Nucleus [Internet]. 2012 Apr. 18 [cited 2024 Apr. 28];49(2):149-53. Available from: http://thenucleuspak.org.pk/index.php/Nucleus/article/view/808