Automated Analysis of Requirement Specifications.

William M. Wilson, Linda H. Rosenberg, Lawrence E. Hyatt

Browse the full ICSE paper archive.