Aparna, K. S. and Kulkarni, R. N. (2026) “Formal Abstraction of Program Slices for Specification and Requirement Extraction Using Object-Z”, Engineering, Technology & Applied Science Research. Greece, 16(1), pp. 30843–30851. doi: 10.48084/etasr.13285.