Automated Consistency Checking of Requirements Specification," (1996)

by C L Heitmeyer, J Kirby, B G Labaw
Venue:ACM Transactions on Software Engineering and Methodology (TOSEM),