Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw. Automated Consistency Checking of Requirements Specifications. ACM Transactions on Software Engineering Methodology, 5(3):231-261, 1996. [doi]
No references recorded for this publication.
No citations of this publication recorded.