M. M. BAIG. A Formal Software Testing Technique. Pakistan Journal of Science, [S. l.], v. 63, n. 4, 2011. DOI: 10.57041/vol63iss4pp%p. Disponível em: https://pjosr.com/index.php/pjs/article/view/90. Acesso em: 26 apr. 2026.