Automated consistency checking of requirements specifications (1996)

by Constance L Heitmeyer, Ralph D Jeffords, Bruce G Labaw
Venue:ACM Transactions on Software Engineering and Methodology