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. Disponível em: http://thenucleuspak.org.pk/index.php/Nucleus/article/view/808. Acesso em: 28 apr. 2024.