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

Daniel M. Berry, Walter F. Tichy. Comments on Formal Methods Application: An Empirical Tale of Software Development . IEEE Trans. Software Eng., 29(6):567-571, 2003. [doi]

Abstract

Abstract is missing.