Markow Analysis of Software Specifications

James A. Whittaker, Jesse H. Poore. Markow Analysis of Software Specifications. ACM Transactions on Software Engineering Methodology, 2(1):93-106, 1993. [doi]

Abstract

Abstract is missing.