[2]
Automated consistency checking of requirements specifications[J] . Constance L. Heitmeyer,Ralph D. Jeffords,Bruce G. Labaw.ACM Transactions on Software Engineering and Methodology (TOSEM) . 1996 (3)
[2]
Automated consistency checking of requirements specifications[J] . Constance L. Heitmeyer,Ralph D. Jeffords,Bruce G. Labaw.ACM Transactions on Software Engineering and Methodology (TOSEM) . 1996 (3)