SAEED, T., MUHAMMAD, S.S., FAHIEM, M.A., AHMAD, S., PERVEZ, M.T. and DOGAR, A.B. 2019. Mapping Formal Methods to Extreme Programming (XP) –A Futuristic Approach. International Journal of Natural and Engineering Sciences. 8, 3 (Jun. 2019), 35–42.