J. Paul Gibson, Thomas F. Dowling, Brian A. Malloy. The Application of Correctness Preserving Transformations to Software Maintenance. In ICSM. pages 108, 2000. [doi]
@inproceedings{GibsonDM00,
title = {The Application of Correctness Preserving Transformations to Software Maintenance},
author = {J. Paul Gibson and Thomas F. Dowling and Brian A. Malloy},
year = {2000},
url = {http://computer.org/proceedings/icsm/0753/07530108abs.htm},
tags = {maintenance, transformation},
researchr = {https://researchr.org/publication/GibsonDM00},
cites = {0},
citedby = {0},
pages = {108},
booktitle = {ICSM},
}