Technology Transfer Issues for Formal Methods of Software Specification

Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel, James D. Kiper, John D. Powell. Technology Transfer Issues for Formal Methods of Software Specification. In CSEE&T. pages 23-31, 2000. [doi]

Abstract

Abstract is missing.