Cheron Rae Vail
-
Automatic Analysis of Consistency between Requirements and Designs
IEEE Transactions on Software Engineering