Vol-3958⫷ Vol-3959 ⫸Vol-3960
urn:nbn:de:0074-3959-0


Vol-3959/DS-paper1⫷Vol-3959/DS-paper2⫸Vol-3959/PT-preface
Oisín Sheridan

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