Julia M. Badger, David Throop, Charles Claunch. VARED: Verification and analysis of requirements and early designs. In Tony Gorschek, Robyn R. Lutz, editors, IEEE 22nd International Requirements Engineering Conference, RE 2014, Karlskrona, Sweden, August 25-29, 2014. pages 325-326, IEEE, 2014. [doi]
Abstract is missing.