M. M. Baig. A Formal Software Testing Technique. PJS [Internet]. 2011 Dec. 1 [cited 2024 May 13];63(4). Available from: https://pjosr.com/index.php/pjs/article/view/90