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