The Application of Correctness Preserving Transformations to Software Maintenance

J. Paul Gibson, Thomas F. Dowling, Brian A. Malloy. The Application of Correctness Preserving Transformations to Software Maintenance. In ICSM. pages 108, 2000. [doi]

Abstract

Abstract is missing.