OMAR ABDELRAHMAN; SALMA NAGUIB. Modern Strategies for Software Verification Elevating Efficiency Through Innovative Techniques and Best Practices. Eigenpub Review of Science and Technology , [S. l.], v. 8, n. 7, p. 181–209, 2024. Disponível em: https://studies.eigenpub.com/index.php/erst/article/view/89. Acesso em: 18 nov. 2024.