Automated Consistency Checking of Requirements Specifications (1996)

by C Heitmeyer, R D Jeffords, B G Labaw
Venue:ACM Trans. Software Eng. and Methodology