Formal support for software maintenance

Daniel E. Cooke, Luqi. Formal support for software maintenance. In Seventeenth Annual International Computer Software and Applications Conference, COMPSAC 1993, Proceedings, Phoenix, AZ, USA, 1-5 November, 1993. pages 402-407, IEEE, 1993. [doi]

Abstract

Abstract is missing.