Consistency checking of SCR-style requirements specifications.

Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis

Browse the full RE paper archive.