OSAMA, S.; IQBAL, S.; AHSAN, A. FORMAL METHODS ADAPTATION IN PAKISTAN’S SOFTWARE INDUSTRY. The Nucleus, [S. l.], v. 49, n. 2, p. 149–153, 2012. DOI: 10.71330/thenucleus.2012.808. Disponível em: http://202.83.167.189/index.php/Nucleus/article/view/808. Acesso em: 4 apr. 2025.