Requirements Expression and Verification Aid.

Sharon A. Stephens, Leonard L. Tripp

Browse the full ICSE paper archive.