Yingzhou Zhang. A novel formal approach to program slicing. Science in China Series F: Information Sciences, 50(5):657-670, 2007. [doi]
@article{Zhang07:6, title = {A novel formal approach to program slicing}, author = {Yingzhou Zhang}, year = {2007}, doi = {10.1007/s11432-007-0061-2}, url = {http://dx.doi.org/10.1007/s11432-007-0061-2}, tags = {slicing, systematic-approach}, researchr = {https://researchr.org/publication/Zhang07%3A6}, cites = {0}, citedby = {0}, journal = {Science in China Series F: Information Sciences}, volume = {50}, number = {5}, pages = {657-670}, }