An Undergraduate Requirements Engineering Curriculum with Formal Methods.

Bernd Westphal

Browse the full RE paper archive.