In Sang Chung, W. K. Lee, Gwang Sik Yoon, Yong Rae Kwon. Program slicing based on specification. In Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), March 11-14, 2001, Las Vegas, NV, USA. pages 605-609, ACM, 2001. [doi]
@inproceedings{ChungLYK01,
title = {Program slicing based on specification},
author = {In Sang Chung and W. K. Lee and Gwang Sik Yoon and Yong Rae Kwon},
year = {2001},
doi = {10.1145/372202.372784},
url = {http://doi.acm.org/10.1145/372202.372784},
tags = {rule-based, slicing},
researchr = {https://researchr.org/publication/ChungLYK01},
cites = {0},
citedby = {0},
pages = {605-609},
booktitle = {Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), March 11-14, 2001, Las Vegas, NV, USA},
publisher = {ACM},
}