Gustavo Villavicencio
Formal Program Reversing by Conditioned Slicing
CSMR, 2003.
@inproceedings{CSMR-2003-Villavicencio, author = "Gustavo Villavicencio", booktitle = "{Proceedings of the Seventh European Conference on Software Maintenance and Reengineering}", doi = "10.1109/CSMR.2003.1192446", isbn = "0-7695-1902-4", pages = "368--378", publisher = "{IEEE Computer Society}", title = "{Formal Program Reversing by Conditioned Slicing}", year = 2003, }