A formal method for program slicing (2005)

by Y Zhang, B Xu, J E L Gayo
Venue:In 2005 Australian Software Engineering Conference (ASWEC’05