SAEED, T.; MUHAMMAD, S. S.; FAHIEM, M. A.; AHMAD, S.; PERVEZ, M. T.; DOGAR, A. B. Mapping Formal Methods to Extreme Programming (XP) –A Futuristic Approach. ijnes 2019, 8, 35-42.