Regulatory Requirements Traceability and Analysis Using Semi-formal Specifications.

Travis D. Breaux, David G. Gordon

Browse the full REFSQ paper archive.