A Formal Approach for Software Maintenance

Umer Waqar, Ferhat Khendek, Daniel Vincent. A Formal Approach for Software Maintenance. In 18th International Conference on Software Maintenance (ICSM 2002), Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal, Quebec, Canada. pages 608-617, IEEE Computer Society, 2002. [doi]

Abstract

Abstract is missing.