Formal Abstraction of Program Slices for Specification and Requirement Extraction Using Object-Z.

Saved in:

Bibliographic Details
Title:	Formal Abstraction of Program Slices for Specification and Requirement Extraction Using Object-Z.
Authors:	Aparna, K. S.¹, aparna.vastrad@gmail.com, Kulkarni, R. N.², rnkulkarni@bitm.edu.in
Source:	Engineering, Technology & Applied Science Research; Feb2026, Vol. 16 Issue 1, p30843-30851, 9p
Database:	Applied Science & Technology Source

Description
ISSN:	22414487
DOI:	10.48084/etasr.13285