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