VARED: Verification and analysis of requirements and early designs.

Julia M. Badger, David Throop, Charles Claunch

Browse the full RE paper archive.