Response to Comments on Formal Methods Application: An Empirical Tale of Software Development

Ann E. Kelley Sobel, Michael R. Clarkson. Response to Comments on Formal Methods Application: An Empirical Tale of Software Development . IEEE Trans. Software Eng., 29(6):572-575, 2003. [doi]

Abstract

Abstract is missing.