A formal method for program slicing
- Zhang, Y.
- Xu, B.
- Labra Gayo, J.E.
Proceedings:
Proceedings of the Australian Software Engineering Conference, ASWEC
ISBN: 9780769522579
Year of publication: 2005
Volume: 2005
Pages: 140-148
Type: Conference paper