Refactoring in Requirements Engineering: Exploring a methodology for formal verification of safety-critical systems.

Oisn Sheridan

Browse the full REFSQ paper archive.