Pages that link to "Item:Q2147686"
From MaRDI portal
The following pages link to Formal methods: practical applications and foundations. Editorial (Q2147686):
Displaying 12 items.
- FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings (Q1036131) (← links)
- Selected extended papers of NFM 2016: Preface (Q1694575) (← links)
- Selected extended papers of NFM 2017: Preface (Q2331075) (← links)
- (Q3376796) (← links)
- Formal Methods: State of the Art and New Directions (Q3394904) (← links)
- (Q4520106) (← links)
- Editorial (Q5892127) (← links)
- Editorial (Q5915731) (← links)
- Foreword (Q5916264) (← links)
- Editorial (Q5965514) (← links)
- Editorial (Q5970677) (← links)
- Editorial (Q5971164) (← links)