Formal Methods to Aid the Evolution of Software

Martin P. Ward, Keith H. Bennett. Formal Methods to Aid the Evolution of Software. International Journal of Software Engineering and Knowledge Engineering, 5(1):25-47, 1995. [doi]

Abstract

Abstract is missing.