SAEED, Tasmia, Syed Shah MUHAMMAD, Muhammad Abuzar FAHIEM, Sarfaraz AHMAD, Muhammad Tariq PERVEZ, and Abdul Basit DOGAR. 2019. “Mapping Formal Methods to Extreme Programming (XP) –A Futuristic Approach”. International Journal of Natural and Engineering Sciences 8 (3):35-42. https://ijnes.org/index.php/ijnes/article/view/212.