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]

No reviews for this publication, yet.