2002
A Formal Approach for Software Maintenance.
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002