Linking Functional Requirements and Software Verification.

Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf

Browse the full RE paper archive.