Application of formal specification to software maintenance

Neel Madhav, Sriram Sankar. Application of formal specification to software maintenance. In Proceedings of the Conference on Software Maintenance, ICSM 1990, San Diego, CA, USA, 26-29 November, 1990. pages 230-241, IEEE, 1990. [doi]

Abstract

Abstract is missing.