Automated Analysis of Requirement Specifications (1997)

by Hyatt LE
Venue:Proceedings of the Nineteenth International Conference on Software Engineering (ICSE-97