M. M. Baig 2011. A Formal Software Testing Technique. Pakistan Journal of Science. 63, 4 (Dec. 2011). DOI:https://doi.org/10.57041/pjs.v63i4.90.