Automated and quality-driven requirements engineering.

Rolf Drechsler, Mathias Soeken, Robert Wille

Browse the full ICCAD paper archive.