SAEED, Tasmia; MUHAMMAD, Syed Shah; FAHIEM, Muhammad Abuzar; AHMAD, Sarfaraz; PERVEZ, Muhammad Tariq; DOGAR, Abdul Basit. Mapping Formal Methods to Extreme Programming (XP) –A Futuristic Approach. International Journal of Natural and Engineering Sciences, [S. l.], v. 8, n. 3, p. 35–42, 2019. Disponível em: https://ijnes.org/index.php/ijnes/article/view/212. Acesso em: 30 may. 2026.