Formal support for software maintenance.

Daniel E. Cooke, Luqi

Browse the full COMPSAC paper archive.