@inproceedings{DBLP:conf/sac/ChungLYK01,
author = {In Sang Chung and
Wan Kwon Lee and
Gwang Sik Yoon and
Yong Rae Kwon},
title = {Program slicing based on specification},
booktitle = {SAC},
year = {2001},
pages = {605-609},
ee = {http://doi.acm.org/10.1145/372202.372784},
crossref = {DBLP:conf/sac/2001},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sac/2001,
title = {Proceedings of the 2001 ACM Symposium on Applied Computing
(SAC), March 11-14, 2001, Las Vegas, NV, USA},
publisher = {ACM},
year = {2001},
bibsource = {DBLP, http://dblp.uni-trier.de}
}