Xiaofang Qi, Xiaojing Xu, Peng Wang
Slicing Concurrent Interprocedural Programs Based on Program Reachability Graphs
SEKE, 2012.
@inproceedings{SEKE-2012-QiXW, author = "Xiaofang Qi and Xiaojing Xu and Peng Wang", booktitle = "{Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering}", isbn = "1-891706-31-4", pages = "293--298", publisher = "{Knowledge Systems Institute Graduate School}", title = "{Slicing Concurrent Interprocedural Programs Based on Program Reachability Graphs}", year = 2012, }