APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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