%0 Conference Paper %1 conf/aswec/ZhangXG05 %A Zhang, Yingzhou %A Xu, Baowen %A Gayo, José Emilio Labra %B Australian Software Engineering Conference %D 2005 %I IEEE Computer Society %K dblp %P 140-148 %T A Formal Method for Program Slicing. %U http://dblp.uni-trier.de/db/conf/aswec/aswec2005.html#ZhangXG05 %@ 0-7695-2257-2

@inproceedings{conf/aswec/ZhangXG05, added-at = {2023-03-24T00:00:00.000+0100}, author = {Zhang, Yingzhou and Xu, Baowen and Gayo, José Emilio Labra}, biburl = {https://www.bibsonomy.org/bibtex/22512fc8c8369a7b3312e0a7dd9bbfd18/dblp}, booktitle = {Australian Software Engineering Conference}, crossref = {conf/aswec/2005}, ee = {https://doi.ieeecomputersociety.org/10.1109/ASWEC.2005.7}, interhash = {e0ccede434e1c0e1dd3d9eab3813df32}, intrahash = {2512fc8c8369a7b3312e0a7dd9bbfd18}, isbn = {0-7695-2257-2}, keywords = {dblp}, pages = {140-148}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T04:12:31.000+0200}, title = {A Formal Method for Program Slicing.}, url = {http://dblp.uni-trier.de/db/conf/aswec/aswec2005.html#ZhangXG05}, year = 2005 }