Justin Pearson
Requirements Traceability and Formal Software Development or a Further Analysis of Requirements Traceability

Never submitted for publication