Formal methods for legacy systems

Martin P. Ward, Keith H. Bennett. Formal methods for legacy systems. Journal of Software Maintenance, 7(3):203-219, 1995. [doi]

Abstract

Abstract is missing.