Design Recovery through Formal Specification

Wie Ming Lim, John V. Harrison, Paul A. Bailes, Anthony Berglas. Design Recovery through Formal Specification. In 1998 Australian Software Engineering Conference (ASWEC 98), 9-13 November 1998, Adelaide, Australia. pages 22-31, IEEE Computer Society, 1998. [doi]

Abstract

Abstract is missing.