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. 16, 1 (Feb. 2026), 30843–30851. DOI:https://doi.org/10.48084/etasr.13285.