Volume: Vol-3959 REFSQ 2025 | Year: 2025

Paper: « DS-paper1 | DS-paper2 | PT-preface »

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

• Oisín Sheridan

PDF