%0 Conference Paper %1 conf/icsm/GibsonDM00 %A Gibson, J. Paul %A Dowling, Thomas F. %A Malloy, Brian A. %B ICSM %D 2000 %I IEEE Computer Society %K dblp %P 108- %T The Application of Correctness Preserving Transformations to Software Maintenance. %U http://dblp.uni-trier.de/db/conf/icsm/icsm2000.html#GibsonDM00 %@ 0-7695-0753-0

@inproceedings{conf/icsm/GibsonDM00, added-at = {2023-09-30T00:00:00.000+0200}, author = {Gibson, J. Paul and Dowling, Thomas F. and Malloy, Brian A.}, biburl = {https://www.bibsonomy.org/bibtex/204b12685a5723ecc44542034448f3f72/dblp}, booktitle = {ICSM}, crossref = {conf/icsm/2000}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICSM.2000.883025}, interhash = {69f5c77b72ab7022213f0ad0c0fcb6d4}, intrahash = {04b12685a5723ecc44542034448f3f72}, isbn = {0-7695-0753-0}, keywords = {dblp}, pages = {108-}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T22:03:22.000+0200}, title = {The Application of Correctness Preserving Transformations to Software Maintenance.}, url = {http://dblp.uni-trier.de/db/conf/icsm/icsm2000.html#GibsonDM00}, year = 2000 }