Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf. Linking Functional Requirements and Software Verification. In RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009. pages 295-302, IEEE Computer Society, 2009. [doi]
No reviews for this publication, yet.