Natarajan Shankar
-
Automatic Analysis of Consistency between Requirements and Designs
IEEE Transactions on Software Engineering