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