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