Toward Verification and Validation of Software Requirements.

G. M. Shi, Isao Miyamoto

Browse the full SEKE paper archive.