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