Chris Roast, Babak Khazaei, Jawed I. A. Siddiqi. Formal Comparisons of Program Modification. In VL. pages 165-171, 2000. [doi]
@inproceedings{RoastKS00, title = {Formal Comparisons of Program Modification}, author = {Chris Roast and Babak Khazaei and Jawed I. A. Siddiqi}, year = {2000}, url = {http://www.computer.org/proceedings/vl/0840/08400165abs.htm}, researchr = {https://researchr.org/publication/RoastKS00}, cites = {0}, citedby = {0}, pages = {165-171}, booktitle = {VL}, }