Aparna KS, Kulkarni RN. Formal Abstraction of Program Slices for Specification and Requirement Extraction Using Object-Z. Eng. Technol. Appl. Sci. Res. [Internet]. 2026 Feb. 9 [cited 2026 Jun. 9];16(1):30843-51. Available from: https://www.etasr.com/index.php/ETASR/article/view/13285