APARNA, K. S.; KULKARNI, R. N. Formal Abstraction of Program Slices for Specification and Requirement Extraction Using Object-Z. Engineering, Technology & Applied Science Research, Greece, v. 16, n. 1, p. 30843–30851, 2026. DOI: 10.48084/etasr.13285. Disponível em: https://etasr.com/index.php/ETASR/article/view/13285. Acesso em: 18 apr. 2026.