The following pages link to Editorial (Q5971164):
Displaying 8 items.
- Formal techniques for safety-critical systems. Second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised selected papers (Q400476) (← links)
- Foreword to the special issue on formal methods for software product line engineering (Q898601) (← links)
- Selected extended papers of NFM 2016: Preface (Q1694575) (← links)
- Editorial (Q5892127) (← links)
- Editorial (Q5915731) (← links)
- Foreword (Q5916264) (← links)
- Guest editors' foreword (Q5920274) (← links)
- Editorial (Q5970677) (← links)